diff --git a/Contributors.html b/Contributors.html index 51dea1cc3d..3aa782e8d2 100644 --- a/Contributors.html +++ b/Contributors.html @@ -159,6 +159,7 @@