Merge remote-tracking branch 'origin/maint'

* origin/maint:
  version 2.5.1
  NEWS: prepare for 2.5.1.
  maint: update release procedure
  maint: fix comment typos
  maint: post-release administrivia

Conflicts:
	NEWS
This commit is contained in:
Akim Demaille
2012-06-05 14:06:08 +02:00
13 changed files with 85 additions and 70 deletions

View File

@@ -1 +1 @@
2.3b
2.5.1