https://issues.dlang.org/show_bug.cgi?id=12113
berni44 <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #5 from berni44 <[email protected]> --- Did this PR completely fullfill the original wish? It's been merged, but I'm not sure if there is some stuff remaining... --
