#64 Update CONTRIBUTORS file.

dhendriks · dhendriks · commit bfdc4ccacb48 · 2024-08-01T15:36:17.000+02:00
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
