diff --git a/contributors.html b/contributors.html index 69f5a3731..5718c2323 100755 --- a/contributors.html +++ b/contributors.html @@ -312,6 +312,7 @@