Comment 6 for bug 1787902

JKB,

I have pushed your patch (36f2eb11), thank you for your contribution! In case you would like to send us more patches, we would greatly appreciate creating using with git-format, so they contain description and author of the patch - it makes our lifes much easier.