ildumi pushed a change to branch development. from 8dceb08f Update NEWS for recent changes new b4824bb3 version 2.5.2 new 5063ac2e maint: post-release administrivia
Summary of changes: .prev-version | 2 +- NEWS | 3 +++ cfg.mk | 2 +- 3 files changed, 5 insertions(+), 2 deletions(-)