<br><br>On Tuesday, April 2, 2013, Robby Findler  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I&#39;ve just pushed a fix for this, but when you say &quot;still&quot;, do you mean that you&#39;ve reported this before?<div>
<br></div></div></blockquote><div><br></div><div>I&#39;m sorry: I should have reported it as a bug much sooner.  I noticed it some time after 5.3.3, but thought you were experimenting with something, so I kept quiet.  But the release pre-announcement triggered my concern.<span></span></div>