[racket-dev] Github mirroring is down

From: Eli Barzilay (eli at barzilay.org)
Date: Sat Jun 25 19:26:30 EDT 2011

JFYI, the main problem should be resolved and the GH mirror should be
properly updated.  There are still some errors, but apparently they
shouldn't bother anyone who is not me...

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!

Posted on the dev mailing list.