Hi,

thanks for merging, though I already had a pull request for it and you now used the bounce email address for the commit author ^^'
It's ok, just wanted to make sure you know that groups.io pitfall for the next :)

Best regards and many thanks for your time
Mara Sophie Grosch