[racket-dev] Sorry.

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Tue Dec 4 13:55:05 EST 2012

Hi All,

I made a mistake pushing some commits.
Rather than mess things more up, I hope
some one has enough git-fu to undo the commit.

Normally push refused to do anything but fast-forward
commits, but the commit looks wrong on Github.

/Jens Axel (with red ears)

Posted on the dev mailing list.