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