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