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 /.github | |
| parent | 6667ebe1fcbacb36e95be90ae946ca62692e5623 (diff) | |
Add myself as a secondary maintainer for the documentation.
To reflect reality.
[ci skip]
Diffstat (limited to '.github')
| -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 |