https://issues.dlang.org/show_bug.cgi?id=13639
Walter Bright <bugzi...@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #1 from Walter Bright <bugzi...@digitalmars.com> --- The 2612 PR was merged. --