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.
--
