[racket-dev] planet bug tracking system spam
Can the PLaneT bug-tracking system be shut down, please? (I have never wanted my packages to be in the PLaneT bug-tracking system. It has never been anything for me but counterproductive and annoying. It was not there when I first added my packages to PLaneT. I really-really want to opt-out of it. But maybe whoever maintains it will decide that shutting it down is less work than adding an opt-out feature.) Neil V. _ Racket Developers list: http://lists.racket-lang.org/dev
[racket-dev] zoom-to-fit-width text in new documentation layout
In the new documentation layout, the zoom-to-fit-width behavior is bad. I mentioned this before (http://lists.racket-lang.org/users/archive/2013-November/060480.html;), but I don't recall hearing any rationale, and it doesn't seem to have changed. Is this going to be changed, or do I have to write a Greasemonkey script? Neil V. _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] planet bug tracking system spam
Does anyone else find it has value? Robby On Sunday, April 13, 2014, Neil Van Dyke n...@neilvandyke.org wrote: Can the PLaneT bug-tracking system be shut down, please? (I have never wanted my packages to be in the PLaneT bug-tracking system. It has never been anything for me but counterproductive and annoying. It was not there when I first added my packages to PLaneT. I really-really want to opt-out of it. But maybe whoever maintains it will decide that shutting it down is less work than adding an opt-out feature.) Neil V. _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] planet bug tracking system spam
Is github now the preferred option for package bug reports? Kind regards, Stephen On Sunday, 13 April 2014, Robby Findler ro...@eecs.northwestern.edu wrote: Does anyone else find it has value? Robby On Sunday, April 13, 2014, Neil Van Dyke n...@neilvandyke.orgjavascript:_e(%7B%7D,'cvml','n...@neilvandyke.org'); wrote: Can the PLaneT bug-tracking system be shut down, please? (I have never wanted my packages to be in the PLaneT bug-tracking system. It has never been anything for me but counterproductive and annoying. It was not there when I first added my packages to PLaneT. I really-really want to opt-out of it. But maybe whoever maintains it will decide that shutting it down is less work than adding an opt-out feature.) Neil V. _ Racket Developers list: http://lists.racket-lang.org/dev -- Sent from Gmail Mobile _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] planet bug tracking system spam
I think that if you're using the new pkg system then github is a good way to go for lots of things your pkg has, including bug reports. Robby On Sun, Apr 13, 2014 at 9:49 AM, Stephen De Gabrielle spdegabrie...@gmail.com wrote: Is github now the preferred option for package bug reports? Kind regards, Stephen On Sunday, 13 April 2014, Robby Findler ro...@eecs.northwestern.edu wrote: Does anyone else find it has value? Robby On Sunday, April 13, 2014, Neil Van Dyke n...@neilvandyke.org wrote: Can the PLaneT bug-tracking system be shut down, please? (I have never wanted my packages to be in the PLaneT bug-tracking system. It has never been anything for me but counterproductive and annoying. It was not there when I first added my packages to PLaneT. I really-really want to opt-out of it. But maybe whoever maintains it will decide that shutting it down is less work than adding an opt-out feature.) Neil V. _ Racket Developers list: http://lists.racket-lang.org/dev -- Sent from Gmail Mobile _ Racket Developers list: http://lists.racket-lang.org/dev