[Issue 18528] dmd should deduplicate identical errors
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Mon Jul 3 08:32:30 UTC 2023
https://issues.dlang.org/show_bug.cgi?id=18528
Dlang Bot <dlang-bot at dlang.rocks> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution|--- |FIXED
--- Comment #6 from Dlang Bot <dlang-bot at dlang.rocks> ---
dlang/dmd pull request #15312 "fix Issue 18528 - dmd should deduplicate
identical errors" was merged into master:
- a5c43634f0ba197dc450e64de8259136b1a795fe by Walter Bright:
fix Issue 18528 - dmd should deduplicate identical errors
https://github.com/dlang/dmd/pull/15312
--
More information about the Digitalmars-d-bugs
mailing list