History

Steps to perform after a release

  1. bump version number in config.h.in to ${next-release-number}-dev