Merge branch 'dev' into 'dev'

Update contributor name See merge request re2o/re2o!627
4 years ago · ef8bc842df
1 changed files with 1 additions and 1 deletions
--- a/re2o/contributors.py
+++ b/re2o/contributors.py
@ -33,7 +33,7 @@ CONTRIBUTORS = [
    "Pierre Cadart",
    "Antoine Vintache",
    "Thibault De Boutray",
-    "Delphine Salvy",
+    "Zéphyr Salvy",
    "Joanne Steiner",
    "Krokmou",
    "B",