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

On Sun, Jun 6, 2010 at 9:04 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> On Sun, Jun 6, 2010 at 8:02 PM,  <cce at racket-lang.org> wrote:
>> cce has updated `master' from 0126324f41 to 5d212ce1bd.
>>  http://git.racket-lang.org/plt/0126324f41..5d212ce1bd
>>
>> =====[ 32 Commits ]=====================================================
>>
>> 8cbd1d1 Carl Eastlund <cce at racket-lang.org> 2010-05-30 02:43
>> :
>> | Exporting path->package-version for use outside planet/util.
>> :
>>  M collects/planet/util.rkt |    3 ++-
>
> Did this also get documented?
>
> Robby

Ah!  No, but I can take care of that.

--Carl