Release debian/0.9.12-4
This tag has no release notes.