<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&#39;m not sure that that one is a good idea. I think it is, but I&#39;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">&lt;<a href="mailto:dyoo@cs.wpi.edu" target="_blank">dyoo@cs.wpi.edu</a>&gt;</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>
&lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt; wrote:<br>
&gt; Do you have a commit in mind? (It would need to a simple one that is easily<br>
&gt; seen to be &quot;correct&quot;.)<br>
<br>
<br>
</div>I&#39;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&#39;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&#39;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>