https://issues.dlang.org/show_bug.cgi?id=18469
RazvanN <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |[email protected] Resolution|--- |FIXED --- Comment #3 from RazvanN <[email protected]> --- This should have been close when the PR was merged. Manually cloasing as fixed. Thanks for the joint effort Basile B. and bitter.taste. --
