From 1b69020c507dc007e5fb9310683ca5568c160be8 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 5 Jun 2019 11:03:00 +0200
Subject: Add codeowner for Ltac2. Forgotten in #10002.

Who should be secondary owner?
---
 .github/CODEOWNERS | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 06a733be45..2a325f2d71 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -173,6 +173,8 @@ azure-pipelines.yml @coq/ci-maintainers
 /plugins/rtauto/       @PierreCorbineau
 # Secondary maintainer @herbelin
 
+/user-contrib/Ltac2    @ppedrot
+
 ########## Pretyper ##########
 
 /pretyping/       @mattam82
-- 
cgit v1.2.3