When was the error introduced? If it was before the last release, my default would be to not include it. <div><br></div><div>Robby<span></span><br><br>On Tuesday, April 23, 2013, Matthew Flatt  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
At Mon, 22 Apr 2013 22:30:07 -0400, Neil Van Dyke wrote:<br>
&gt; Matthew Flatt wrote at 04/22/2013 06:32 PM:<br>
&gt; &gt; I&#39;ve pushed a repair.<br>
&gt;<br>
&gt; Will the repair be in 5.3.4?<br>
<br>
Pending.<br>
<br>
The repair isn&#39;t too complex, but it&#39;s not so trivial that I got it<br>
right on the first try --- a test run by DrDr exposed a problem.<br>
<br>
So, we need to look more closely at the repair to make sure it&#39;s more<br>
likely to fix problems than create them.<br>
<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div>