<div dir="ltr">This one seems maybe okay:<div><br></div><div><a href="https://github.com/dyoo/racket/commit/3e3608ccb82de7e14b0b3aed223d95c7d5a500ba">https://github.com/dyoo/racket/commit/3e3608ccb82de7e14b0b3aed223d95c7d5a500ba</a><br>
</div><div><br></div><div style>but the other one definitely seems like too much. And I'm not sure that that one is a good idea. I think it is, but I'd want to try something like that for a while before releasing it.</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Feb 6, 2013 at 4:33 PM, Danny Yoo <span dir="ltr"><<a href="mailto:dyoo@cs.wpi.edu" target="_blank">dyoo@cs.wpi.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Wed, Feb 6, 2013 at 2:45 PM, Robby Findler<br>
<<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br>
> Do you have a commit in mind? (It would need to a simple one that is easily<br>
> seen to be "correct".)<br>
<br>
<br>
</div>I'm thinking of the two commits currently on my compiler-hack branch:<br>
<br>
<a href="https://github.com/dyoo/racket/commit/1caae27ded89a46453316f65ae5cbf7b04a4bd66" target="_blank">https://github.com/dyoo/racket/commit/1caae27ded89a46453316f65ae5cbf7b04a4bd66</a><br>
<a href="https://github.com/dyoo/racket/commit/3e3608ccb82de7e14b0b3aed223d95c7d5a500ba" target="_blank">https://github.com/dyoo/racket/commit/3e3608ccb82de7e14b0b3aed223d95c7d5a500ba</a><br>
<br>
to address the immediate problem of the PLanet2 stuff. I hadn't<br>
merged into upstream because I was waiting to hear about the exact<br>
right paths to include in the manager-skip-file-handler in the second<br>
commit, and did not hear consensus.<br>
<br>
<br>
I'm also partial to the gunzip fix in<br>
<a href="http://git.racket-lang.org/plt/commit/c6775cc0605dfed29e347f1932adcc11b5e220db" target="_blank">http://git.racket-lang.org/plt/commit/c6775cc0605dfed29e347f1932adcc11b5e220db</a>.<br>
I ran across this in the context of broken PLaneT2 package<br>
installation, since PLanet2 defaults to .zip archives.<br>
</blockquote></div><br></div>