Hey,

> Thanks!  FYI I had to convert the patch from ISO-8859-1 encoding to
> UTF-8 in order to make it apply.
hm, that’s weird, it worked for me.

> It seems we already have a number of git:// URLs around so it would be
> good to fix it, can you submit the second patch to a separate issue?
Done, see bug#42615

Thank you,
Lars