Index: Doc/Extra/version.html ================================================================== --- Doc/Extra/version.html +++ Doc/Extra/version.html @@ -41,11 +41,11 @@

Version History

-

1.0.88.0 - August XX, 2013 (release scheduled)

+

1.0.88.0 - August 7, 2013