Debian release 1.2.5-2.4
This tag has no release notes.