[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