Jakub Wilk <[email protected]> writes: > * David Bremner <[email protected]>, 2012-07-29, 16:39: > > 3) "planet" is not a name planet-venus upstream uses anyway; we've > renamed it from "planet.py" to adhere to Policy ยง10.4.
It turns out that racket upstream will probably deprecate the binary planet in the next upstream release, and claims that "raco planet" is the now preferred interface. So, although I still think this is really a bug in planet-venus, it could also make sense to just remove the planet binary from racket. d -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
