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