https://issues.dlang.org/show_bug.cgi?id=17231
--- Comment #6 from Vladimir Panteleev <[email protected]> --- (In reply to RazvanN from comment #5) > I made a PR for that issue and since you closed your PR for this one, I > thought that marking this one as a duplicate would make more sense. You may want to wait until your PR is merged before closing the respective issue. If your PR ends up being closed for whatever reason, then the "duplicate" issue will likely remain incorrectly closed. --
