Merge changes from the release branch.

2014-05-01 11:46:18 +00:00
parent b04c4ada5d
commit 18aab87860
5 changed files with 15 additions and 230 deletions
@@ -22,7 +22,7 @@

 </authorgroup>

-<date>2012-08-19</date>
+<date>2014-03-23</date>
 <releaseinfo>0.5.x</releaseinfo>

 <abstract>