Merge branch 'branch-1.13.2' into maint * branch-1.13.2: announcement: cater to more flexible NEWS format
2013-05-09T14:14:00