Rui Hu was mentioned twice in the list, proposing to mention him once, regardless of the input :)

2026-03-13 18:14:56 +00:00
1 changed files with 0 additions and 1 deletions
@@ -5,7 +5,6 @@
 * Rui Hu <rui.hu@cleverthis.com>
 * Hamza Khyari <hamza.khyari@cleverthis.com>
 * Luis Mendes <luis.p.mendes@gmail.com>
-* Rui Hu <rui.hu@cleverthis.com>

 # Details