[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