Comment 5 for bug 1760200

@Mario, would you please either send me your email address so I can set you as the author of this patch when I merge it (git requires the author signature to have the name <email-address> format) or commit your patch to your local repo and create a new patch using `git format-patch` (which is the preferred method) so I can get your patch merged?