| From: Sam Tobin-Hochstadt (samth at cs.indiana.edu) Date: Wed Oct 2 10:52:57 EDT 2013 |
|
The packages 'gui-pkg-manager' and 'distributed-places' are on the pkg catalog, but not in 'main-distribution'. I'm pushing a change for the latter, which appears to just be an oversight, but is the same true for the 'gui-pkg-manager'? Sam
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}