diff --git a/src/version.html b/src/version.html index 4668568b..f5cac6a2 100644 --- a/src/version.html +++ b/src/version.html @@ -246,18 +246,21 @@
Miscellaneous
--> +