debian/changelog: 0.7.12-1 was uploaded to experimental
changelog for 0.7.12-2