Re: [racket-dev] planet bug tracking system spam

2014-04-14 Thread Doug Williams
I use it and have not migrated to Github. But, it is no biggie for me one way or the other. On Sun, Apr 13, 2014 at 5:17 AM, Robby Findler ro...@eecs.northwestern.eduwrote: Does anyone else find it has value? Robby On Sunday, April 13, 2014, Neil Van Dyke n...@neilvandyke.org wrote: Can

Re: [racket-dev] planet bug tracking system spam

2014-04-14 Thread Robby Findler
I think that the problem Neil is having with it is the ridiculous amount of spam that gets trapped inside it. (But correct me if I'm wrong, Neil!) So maybe we can work around the problem another way if others find it still has value. Robby On Mon, Apr 14, 2014 at 11:46 AM, Doug Williams

[racket-dev] class100 removal

2014-04-14 Thread Asumu Takikawa
Hi all, A few releases ago we announced our intention to remove the mzlib/class100 library from Racket. I think this was scheduled to happen around either last release or this upcoming release. Should I go ahead and remove mzlib/class100 and its docs? Its uses in the codebase should be long gone

Re: [racket-dev] planet bug tracking system spam

2014-04-14 Thread Neil Van Dyke
Robby Findler wrote at 04/14/2014 01:27 PM: I think that the problem Neil is having with it is the ridiculous amount of spam that gets trapped inside it. (But correct me if I'm wrong, Neil!) I also have other objections to it. But if Doug is still using it, I guess leaving it running makes

Re: [racket-dev] class100 removal

2014-04-14 Thread Robby Findler
Lets have a full cycles without it in the git tree before the release, but otherwise, I think so yes. Robby On Mon, Apr 14, 2014 at 2:47 PM, Asumu Takikawa as...@ccs.neu.edu wrote: Hi all, A few releases ago we announced our intention to remove the mzlib/class100 library from Racket. I think

Re: [racket-dev] class100 removal

2014-04-14 Thread Asumu Takikawa
On 2014-04-14 15:42:18 -0500, Robby Findler wrote: Lets have a full cycles without it in the git tree before the release, but otherwise, I think so yes. Okay, then I'll remove it after v6.0.1 is released. Cheers, Asumu _ Racket Developers list:

Re: [racket-dev] class100 removal

2014-04-14 Thread Robby Findler
I think the release branch has been created already -- assuming that's right, then you can/should remove it now. Robby On Mon, Apr 14, 2014 at 3:52 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2014-04-14 15:42:18 -0500, Robby Findler wrote: Lets have a full cycles without it in the git tree

Re: [racket-dev] planet bug tracking system spam

2014-04-14 Thread Doug Williams
If I'm one of the few using it, I have no objections to it going away. I need an excuse to migrate anyway. On Monday, April 14, 2014, Neil Van Dyke n...@neilvandyke.org wrote: Robby Findler wrote at 04/14/2014 01:27 PM: I think that the problem Neil is having with it is the ridiculous