[racket-dev] Github repo is two commits behind

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