Merge pull request #207 from coq-community/update-maintainer

Update maintainer list in README.
coq-community · Aug 19, 2024 · 7dc1ada · 7dc1ada
2 parents 5e74c29 + b46cb64
commit 7dc1ada
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -86,6 +86,7 @@ CoRN includes the following parts:
 - Coq-community maintainer(s):
   - Bas Spitters ([**@spitters**](https://github.com/spitters))
   - Vincent Semeria ([**@vincentse**](https://github.com/vincentse))
+  - Xia Li-yao ([**@Lysxia**](https://github.com/Lysxia))
 - License: [GNU General Public License v2](LICENSE)
 - Compatible Coq versions: Coq 8.18 or greater
 - Additional dependencies:

diff --git a/meta.yml b/meta.yml
@@ -71,6 +71,8 @@ maintainers:
   nickname: spitters
 - name: Vincent Semeria
   nickname: vincentse
+- name: Xia Li-yao
+  nickname: Lysxia
 
 opam-file-maintainer: [email protected]