From 9fa1bee575886b76c3a23af37f9f3ce2ce52733c Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Thu, 28 Feb 2013 19:36:02 +0100 Subject: [PATCH] Update release notes Also use a point release version number as suggested by several people. --- doc/manual/release-notes.xml | 10 ++++++++++ version | 2 +- 2 files changed, 11 insertions(+), 1 deletion(-) 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