New attempt at 3.1.2 debian release: fix changelog, change releaser.