https://issues.dlang.org/show_bug.cgi?id=21796
Berni44 <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #5 from Berni44 <[email protected]> --- PR is merged. --
