--- a/COPYRIGHT	Sat Jul 28 19:34:15 2012 +0200
+++ b/COPYRIGHT	Mon Jul 30 00:12:45 2012 -0400
@@ -340,6 +340,7 @@
 Robert McQueen
 Mihály Mészáros
 Robert Mibus
+David Michael
 Lars T. Mikkelsen
 Benjamin Miller
 Kevin Miller