diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-22 16:34:24 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-22 16:34:24 +0200 |
commit | 89bfc37b26d79f5e29c079fee912bb2bfaa9b07c (patch) | |
tree | a4a08c630c88fb469e69054a59559123b48623c7 | |
parent | 6667ebe1fcbacb36e95be90ae946ca62692e5623 (diff) |
Add myself as a secondary maintainer for the documentation.
To reflect reality.
[ci skip]
-rw-r--r-- | .github/CODEOWNERS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index b2b990032..119ce082d 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -51,7 +51,7 @@ # each time someone modifies the dev changelog /doc/ @maximedenes -# Secondary maintainer @silene +# Secondary maintainer @silene @Zimmi48 /man/ @silene # Secondary maintainer @maximedenes |