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

2013-09-17 Thread Sam Tobin-Hochstadt
On Tue, Sep 17, 2013 at 8:29 AM, Matthew Flatt mfl...@cs.utah.edu wrote: FWIW, for an individual file in a repo clone, you can follow history through the split by using `git log --follow`. But there's no way to do that in the GitHub web interface, as far as I know. Also rather frustratingly,

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

2013-09-17 Thread Robby Findler
On Tue, Sep 17, 2013 at 9:53 AM, Greg Hendershott greghendersh...@gmail.com wrote: On Tue, Sep 17, 2013 at 8:29 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I think the problem is the way that the release and development version numbers got out of sync for a while. Version 5.3.6 is derived

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

2013-09-17 Thread Greg Hendershott
On Tue, Sep 17, 2013 at 8:29 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I think the problem is the way that the release and development version numbers got out of sync for a while. Version 5.3.6 is derived fairly directly from v5.3.4 (and v5.3.5) by adding only a small set of bug-fix patches.

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

2013-09-16 Thread Greg Hendershott
After I saw this, I closed the open pull request over on GitHub: https://github.com/plt/racket/pull/324 BTW here is the commit over on GitHub: https://github.com/plt/racket/commit/c6e28435578b6b8607d4c767ee956f88c8388ff0 I fetched from HEAD at the time, verison 5.3.4.7. I've been using it on