https://issues.dlang.org/show_bug.cgi?id=17512
Walter Bright <bugzi...@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED See Also| |https://issues.dlang.org/sh | |ow_bug.cgi?id=18661 Resolution|--- |FIXED --- Comment #8 from Walter Bright <bugzi...@digitalmars.com> --- (In reply to John Colvin from comment #7) > This seems to not to be totally resolved in very similar cases: Please do not reopen bugs because more issues come up. File a new issue instead. Otherwise, bugzilla loses the 1:1 correlation between PRs and issues, and becomes much less manageable. I refiled it as https://issues.dlang.org/show_bug.cgi?id=18661 Closing this again. --