<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">Right. And I filed the issue in bugzilla, in order to fix the bug.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Kenji Hara </div><div class="gmail_quote">
<br></div><div class="gmail_quote">2014-07-09 3:59 GMT+09:00 Brad Roberts via dmd-beta <span dir="ltr"><<a href="mailto:dmd-beta@puremagic.com" target="_blank">dmd-beta@puremagic.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
As always, the best and most appropriate way to make sure something isn't lost (and comments at the end of a closed pull request definitely fall into the likely to be lost category) is to file a bug report.<div class="HOEnZb">
<div class="h5"><br>
<br>
On 7/8/14, 4:39 AM, Steven Schveighoffer via dmd-beta wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Just to bring this up again, this still is not fixed.<br>
<br>
<a href="https://github.com/D-Programming-Language/dmd/pull/3711#issuecomment-48325105" target="_blank">https://github.com/D-<u></u>Programming-Language/dmd/pull/<u></u>3711#issuecomment-48325105</a><br>
<br>
-Steve<br></blockquote></div></div></blockquote></div></div></div>