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

Update maintainer list in README.
coq-community · Aug 19, 2024 · 0289512 · 0289512
2 parents 2a8e123 + 5ed1031
commit 0289512
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -49,6 +49,7 @@ notations.
   - Robbert Krebbers (initial)
 - Coq-community maintainer(s):
   - Bas Spitters ([**@spitters**](https://github.com/spitters))
+  - Xia Li-yao ([**@Lysxia**](https://github.com/Lysxia))
 - License: [MIT License](LICENSE)
 - Compatible Coq versions: Coq 8.18 or later (use releases for other Coq versions)
 - Additional dependencies:

diff --git a/meta.yml b/meta.yml
@@ -41,6 +41,8 @@ authors:
 maintainers:
 - name: Bas Spitters
   nickname: spitters
+- name: Xia Li-yao
+  nickname: Lysxia
 
 opam-file-maintainer: b.a.w.spitters@gmail.com