From cb885e8c70a75043ff89e117c29cbb5dc22ff16f Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Fri, 15 Jun 2018 18:57:00 +0200
Subject: Fix for issue 7707: include Ltac2 and Equations in Windows build On
 the way I also fixed some minor issues with calling MakeCoq_MinGW from
 cygwin.

---
 .github/CODEOWNERS | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 3a762b42a9..0278df72f0 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -339,6 +339,9 @@
 /dev/build/windows @MSoegtropIMC
 # Secondary maintainer @maximedenes
 
+/dev/build/plugin-versions @MSoegtropIMC
+# Secondary maintainer @maximedenes
+
 # This file belongs to CI
 /Makefile.ci       @ejgallego
 # Secondary maintainer @SkySkimmer
-- 
cgit v1.2.3