http://d.puremagic.com/issues/show_bug.cgi?id=10118
[email protected] changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |FIXED --- Comment #9 from [email protected] 2013-07-25 09:31:17 PDT --- Verified fixed in dmd git HEAD. Thanks for the fast response, Kenji!! -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
