Merge branch 'branch-1.13.2' into maint
authorStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 9 May 2013 12:14:00 +0000 (14:14 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 9 May 2013 12:14:00 +0000 (14:14 +0200)
* branch-1.13.2:
  announcement: cater to more flexible NEWS format


No differences found