Merged and uploaded, thanks. Please note the one-character change I made to debian/changelog so that this bug will be closed automatically.
Merged and uploaded, thanks. Please note the one-character change I made to debian/changelog so that this bug will be closed automatically.