diff --git a/doc/authors.html b/doc/authors.html index 18c420b72..f96dfcfde 100644 --- a/doc/authors.html +++ b/doc/authors.html @@ -24,6 +24,10 @@