diff --git a/contributors.html b/contributors.html index c7ea65d84..a70597e21 100755 --- a/contributors.html +++ b/contributors.html @@ -502,6 +502,7 @@