On 2/21/2014 1:02 AM, Daniel Murphy wrote: > No, you screwed it up worse. I fixed it. Please don't do this again. > How so? I did a refresh on the github commit list, and the bad commit vanished.