diff --git a/doc/manual/release-notes.xml b/doc/manual/release-notes.xml index c58a84edd..9560c055b 100644 --- a/doc/manual/release-notes.xml +++ b/doc/manual/release-notes.xml @@ -6,6 +6,16 @@ + + +
Release 1.3 (January 2, 2013) + +This is primarily a bug fix release. It has contributions from +Eelco Dolstra and Stuart Pernsteiner. + +
+ +
Release 1.2 (December 6, 2012)