On Fri, Sep 11, 2015 at 11:47:22AM +0200, Michael Schaller wrote: > Friendly ping to Julian... > Merged into debian/sid in commit da965cc17daec4dfb25b6d05e435a0bfc8f1e33f Thank you for your contribution. -- Julian Andres Klode - Debian Developer, Ubuntu Member See http://wiki.debian.org/JulianAndresKlode and http://jak-linux.org/. Be friendly, do not top-post, and follow RFC 1855 "Netiquette". - If you don't I might ignore you.