Good work, Thomas and good work Andreas.
Thomas, a few things: - Try making use of https://wiki.ubuntu.com/PackagingGuide/PatchSystems (quilt) the next time - also there's https://wiki.ubuntu.com/DebianMaintainerField (the 'update-maintainer' script in ubuntu-dev-tools can do that for you) - https://wiki.ubuntu.com/UbuntuDevelopment/PatchTaggingGuidelines is important too.
Attaching my version of the fix.
Uploading.
Good work, Thomas and good work Andreas.
Thomas, a few things: /wiki.ubuntu. com/PackagingGu ide/PatchSystem s (quilt) the next time /wiki.ubuntu. com/DebianMaint ainerField (the 'update-maintainer' script in ubuntu-dev-tools can do that for you) /wiki.ubuntu. com/UbuntuDevel opment/ PatchTaggingGui delines is important too.
- Try making use of https:/
- also there's https:/
- https:/
Attaching my version of the fix.
Uploading.