On 12 October 2010 13:14, Noel Welsh <noelwe...@gmail.com> wrote: > I think those instructions are for committeerrss. You will probably > have a better experience overall if you go with the github mirror:
Thanks Noel. This is what I ended up doing. Horace. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev