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

1.0.87.0 - June XX, 2013 (release scheduled)

1.0.86.0 - May 23, 2013