@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.