diff --git a/Contributors.html b/Contributors.html index e03f4b5aa5..a952e2c004 100644 --- a/Contributors.html +++ b/Contributors.html @@ -138,6 +138,8 @@