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) _________________________ Racket Developers list: http://lists.racket-lang.org/dev
