I am uploading a NMU with the changes contained in the debdiff.
- Bug#1007031: hsqldb1.8.0: please consider upgra... Lucas Nussbaum
- Bug#1007031: "patch" available Lucas Nussbaum
- Bug#1007031: "patch" available Rene Engelhard
- Processed: Re: "patch" available Debian Bug Tracking System
- Bug#1007031: "patch" available Bastian Germann
- Bug#1007031: "patch" available Bastian Germann
- Bug#1007031: marked as done (hsqldb1.8.0: ... Debian Bug Tracking System
