diff --git a/doc/versions.html b/doc/versions.html index 6d3caa47..33ac2cd4 100644 --- a/doc/versions.html +++ b/doc/versions.html @@ -13,6 +13,12 @@

Revision History

+