Docs: Extend CONTRIBUTORS list

pysmt · May 23, 2017 · a6ebc39 · a6ebc39
1 parent 2aa595c
commit a6ebc39
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -1 +1,6 @@
 Griggio Alberto: griggio@fbk.eu
+Irfan Ahmed: irfan@fbk.eu
+Suresh Gl: sureshgl009@gmail.com
+Daniel Ricardo dos Santos: danielricardo.santos@gmail.com
+Samuele Gallerani: samuele.gallerani@gmail.com
+Alexey Ignatiev: alexey.ignatiev@gmail.com