Index: Doc/Extra/version.html ================================================================== --- Doc/Extra/version.html +++ Doc/Extra/version.html @@ -47,10 +47,12 @@

1.0.88.0 - August 7, 2013