<div dir="ltr">Stephen Sinclair;<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d"><br>
</div>Hey, just wanted to mention: i encourage you (chuckers? chuckists?<br>
chuckians?) to post bugs here or on the dev list, even if you get<br>
little response. &nbsp;At some point in the future we can do a simple<br>
search through the lists for the keyword &quot;bug&quot; and collect them all,<br>
so please don&#39;t be afraid to make these kind of posts.<br>
</blockquote><div><br>I took that to mean you agree this is a bug and not a feature? I added it to the WiKi;<br><a href="http://wiki.cs.princeton.edu/index.php/ChucK/Bugs/Release">http://wiki.cs.princeton.edu/index.php/ChucK/Bugs/Release</a><br>
<br>We can remove it if it turns out to be a feature, which I suppose it could theoretically be.<br><br>And yes; bug reports are good.<br><br>Yours,<br></div></div>Kas.<br></div>