From 092c35f88566e11562a1c10e22e551c2d635439b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Mon, 26 Mar 2018 10:41:02 +0200
Subject: Add Michael Soegtrop as a code owner for Windows build scripts.

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

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index ee291aebb..d33a0c59f 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -294,6 +294,9 @@
 /META.coq         @ejgallego
 # Secondary maintainer @letouzey
 
+/dev/build/windows @MSoegtropIMC
+# Secondary maintainer @maximedenes
+
 
 ########## Developer tools ##########
 
-- 
cgit v1.2.3