On Thu, Oct 08, 2015 at 06:42:38PM +0200, Philipp Wolfer wrote:
> Actually I wanted to submit a git diff, but I could not figure out where
> the repository can be found. I have found it now, though :)
Please email that git URL to this (closed) bugreport.