Re: [racket-dev] Fix bug in DrRacket's language configuration dialog

2012-12-05 Thread Robby Findler
Thanks! On Wed, Dec 5, 2012 at 5:53 PM, Sam Tobin-Hochstadt wrote: > I've now pushed this. > > Sam > > On Wed, Dec 5, 2012 at 5:02 PM, Robby Findler > wrote: >> That would be great! >> >> And your commit also seems good to me. >> >> I tried to push it to our repo but somehow I can't see to actua

Re: [racket-dev] Fix bug in DrRacket's language configuration dialog

2012-12-05 Thread Sam Tobin-Hochstadt
I've now pushed this. Sam On Wed, Dec 5, 2012 at 5:02 PM, Robby Findler wrote: > That would be great! > > And your commit also seems good to me. > > I tried to push it to our repo but somehow I can't see to actually get > things locally into the right state so if someone else has time to do that