Merge pull request #65 from com-github-javabdd/64-update-contributors-file

dhendriks · web-flow · commit 2f724f5251b7 · 2024-08-01T15:36:54.000+02:00
#64 Update CONTRIBUTORS file.
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
@@ -9,4 +9,5 @@ Contributors for com.github.javabdd:
 * Konstantinos Triantafyllidis
 * Martijn Goorden
 * Sander Thuijsman
+* Sean Mills
 * Wytse Oortwijn
