ildumi pushed a change to branch master. from 32d46d5d Update NEWS for recent changes new d8d346ef version 2.5.2 new 2fe3a3e2 maint: post-release administrivia
Summary of changes: .prev-version | 2 +- NEWS | 3 +++ cfg.mk | 2 +- 3 files changed, 5 insertions(+), 2 deletions(-)