<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Thanks, Kenji!<br>
<br>
<div class="moz-cite-prefix">On 7/8/2014 6:57 PM, Kenji Hara via
dmd-beta wrote:<br>
</div>
<blockquote
cite="mid:CAFDvkcue3DP3ftjpSuiADtozjno=G3+MYOmmbtc0Eq8MO=STDQ@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">2014-07-09 10:57 GMT+09:00 Kenji Hara
<span dir="ltr"><<a moz-do-not-send="true"
href="mailto:k.hara.pg@gmail.com" target="_blank">k.hara.pg@gmail.com</a>></span>:<br>
<blockquote class="gmail_quote"
style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<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>
</div>
</blockquote>
<div><br>
</div>
<div><a moz-do-not-send="true"
href="https://issues.dlang.org/show_bug.cgi?id=13074">https://issues.dlang.org/show_bug.cgi?id=13074</a></div>
<div><br>
</div>
<div>Kenji Hara </div>
</div>
</div>
</div>
<br>
</blockquote>
<br>
</body>
</html>