Merge branch 'master' into 'master'

Update contributor name

See merge request re2o/re2o!628

re2o/contributors.py

@@ -33,7 +33,7 @@ CONTRIBUTORS = [
     'Pierre Cadart',
     'Antoine Vintache',
     'Thibault De Boutray',
-    'Delphine Salvy',
+    'Zéphyr Salvy',
     'Joanne Steiner',
     'Krokmou',
     'B',
@@ -44,4 +44,4 @@ CONTRIBUTORS = [
     'Nymous',
     'Pierre-antoine Comby',
     'Vincent Le Gallic',
-]
+]