--- a/COPYRIGHT	Fri May 25 23:35:53 2018 +0000
+++ b/COPYRIGHT	Fri May 25 18:41:53 2018 -0500
@@ -139,6 +139,7 @@
 Simon Danner
 Chris Davies
 Josh Davis
+defanor
 Martijn Dekker
 Florian Delizy
 Jiri Denemark