diff --git a/doc/manual/release-notes.xml b/doc/manual/release-notes.xml index 513e4f03bc..a078be83d5 100644 --- a/doc/manual/release-notes.xml +++ b/doc/manual/release-notes.xml @@ -6,6 +6,16 @@ + + +
Release 1.5.1 (February 28, 2013) + +The bug fix to the bug fix had a bug itself, of course. But +this time it will work for sure! + +
+ +
Release 1.5 (February 27, 2013) diff --git a/version b/version index dc39e58d96..8e03717dca 100644 --- a/version +++ b/version @@ -1 +1 @@ -1.6 \ No newline at end of file +1.5.1 \ No newline at end of file