On Dec 28, 2013, at 6:50 PM, ro...@racket-lang.org wrote: > robby has updated `master' from 92872addf2 to 5059db47d3. > http://git.racket-lang.org/plt/92872addf2..5059db47d3 > > =====[ One Commit ]===================================================== > Directory summary: > 88.2% pkgs/gui-pkg-manager-pkgs/gui-pkg-manager-lib/pkg/gui/ > 11.7% > pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/ > > ~~~~~~~~~~ > > 5059db4 Robby Findler <ro...@racket-lang.org> 2013-12-28 20:48 > : > | adjust the installation package GUI so it doesn't install during > | and installation (ditto update) > | > | closes PR 14263 > | > | this may be a release branch candidate. I'm not sure myself, but the PR > | sounds worrying.
+1 ...and thanks for the quick fix! John _________________________ Racket Developers list: http://lists.racket-lang.org/dev