Re: [racket-dev] [plt] Push #29396: master branch updated

2014-10-20 Thread Matthias Felleisen
DOn't we want to merge this into 6.1.1? On Oct 20, 2014, at 3:44 PM, stamo...@racket-lang.org wrote: stamourv has updated `master' from 538bb75d64 to 9030680e31. http://git.racket-lang.org/plt/538bb75d64..9030680e31 =[ One Commit

Re: [racket-dev] [plt] Push #29396: master branch updated

2014-10-20 Thread Vincent St-Amour
Yes, if convenient. I already emailed Ryan privately about it. Vincent At Mon, 20 Oct 2014 17:54:59 -0400, Matthias Felleisen wrote: DOn't we want to merge this into 6.1.1? On Oct 20, 2014, at 3:44 PM, stamo...@racket-lang.org wrote: stamourv has updated `master' from