Re: Misattributed authorship in commit log here on Github

Re-opening this issue as it was messed up again recently.