Re-opening this issue as it was messed up again recently.
Re: Misattributed authorship in commit log here on Github
Figures: Wladimir van der Laan
Wladimir van der Laan February 16, 2017 08:09 UTC
Re-opening this issue as it was messed up again recently.