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 administriviaSummary of changes: .prev-version | 2 +- NEWS | 3 +++ cfg.mk | 2 +- 3 files changed, 5 insertions(+), 2 deletions(-)
