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

2013-02-23 Thread Eli Barzilay
An hour ago, Robby Findler wrote: > Did someone let the EOPL folks know about this change, in case they > want to check things over? Yes, David okayed it, and I ran the tests too, just in case. -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http:/

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

2013-02-23 Thread Robby Findler
On Sat, Feb 23, 2013 at 9:18 AM, Eli Barzilay wrote: > An hour ago, Robby Findler wrote: > > Did someone let the EOPL folks know about this change, in case they > > want to check things over? > > Yes, David okayed it, and I ran the tests too, just in case. > > Thanks. There's an eopl3 mailing li