I am going to merge it manually, to format the commit message properly:
For the future, follow the guidelines to make it easier and be able to merge using the github web. Thanks!
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.