diff options
| author | Maxime Dénès | 2018-03-22 14:45:28 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-22 14:45:28 +0100 |
| commit | d60f004715273534d7b876612d3e6a727f48944b (patch) | |
| tree | 5423320f68674623e3d36d66d1435bff039f2f0a | |
| parent | ef0fc7730df3cb585b621955010115407d80d2e7 (diff) | |
Switch maintainers for documentation
Guillaume and I agreed to switch, as the new Sphinx infrastructure
changes this component significantly.
| -rw-r--r-- | .github/CODEOWNERS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 3c0603d8e0..4f8313a91b 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -37,8 +37,8 @@ /dev/doc/ @Zimmi48 # Secondary maintainer @maximedenes -/doc/ @silene -# Secondary maintainer @maximedenes +/doc/ @maximedenes +# Secondary maintainer @silene /man/ @silene # Secondary maintainer @maximedenes |