@descartin in case of future pull request, please add your name and e-mail to your git config. Currently its setup like this:
Author: david you@example.com
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.