https://issues.dlang.org/show_bug.cgi?id=17107
Seb <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #3 from Seb <[email protected]> --- PR has been merged for quite a while, but somehow the bot didn't pick it up -> closing. --
