Thanks for the contribution! The commit message should be formatted according to the contributing guide:

You actually did the pull request title and comments like the commit message should have been.

This PR can be eventually merged manually with the proper commit message format, but have it in mind for future contributions.

I have also some comment to the code of the commit, otherwise maybe @henningw or @lbalaceanu would like to review before merging.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.