<div dir="ltr">But the other one has a huge diff. How can you be sure it is right? It isn't even in git head yet!<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Feb 6, 2013 at 5:27 PM, Matthias Felleisen <span dir="ltr"><<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@ccs.neu.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br> <br> How likely is that authors of planet2 packages use the released version rather than the git head version?<br> <div class="HOEnZb"><div class="h5"><br> <br> On Feb 6, 2013, at 5:42 PM, Danny Yoo wrote:<br> <br> > On Wed, Feb 6, 2013 at 3:39 PM, Robby Findler<br> > <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br> >> This one seems maybe okay:<br> >><br> >> <a href="https://github.com/dyoo/racket/commit/3e3608ccb82de7e14b0b3aed223d95c7d5a500ba" target="_blank">https://github.com/dyoo/racket/commit/3e3608ccb82de7e14b0b3aed223d95c7d5a500ba</a><br> >><br> >> but the other one definitely seems like too much. And I'm not sure that that<br> >> one is a good idea. I think it is, but I'd want to try something like that<br> >> for a while before releasing it.<br> ><br> ><br> > But the other one is the more critical one. It's the one that keeps<br> > the PLaneT2 install from triggering a raco setup on the main collects<br> > root in the context of DrRacket.<br> <br> </div></div></blockquote></div><br></div>