Debian release 0.25-5
This tag has no release notes.