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

On Dec 28, 2013, at 6:50 PM, robby at 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 <robby at 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