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