I just pushed something, and now the Github mirror is up to date. The push must have kicked the mirroring mechanism.
Vincent At Mon, 02 Feb 2015 16:54:10 -0500, Vincent St-Amour wrote: > > FWIW, pulling from git.racket-lang.org has been slow (i.e. ~30mins) for > some of us in the last couple of days. Something in the mirroring may be > timing out for similar reasons. > > Vincent > > > > At Mon, 2 Feb 2015 18:41:56 -0300, > Gustavo Massaccesi wrote: > > > > * openssl: recognize version "1.0.1j" #8265c9 (3 days ago) <-- latest > > commit in git.racket-lang > > > > * pretty-print: fix for a current inspector that sees through > > internals #8d49a9 (3 days ago) > > > > * fix reified-syntax-class-curry (missing role argument) #302986 (3 > > days ago) <-- Latest commit in github > > > > Gustavo > > _________________________ > > Racket Developers list: > > http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev