https://issues.dlang.org/show_bug.cgi?id=9433
Mike <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #13 from Mike <[email protected]> --- Pull request submitted: https://github.com/dlang/dmd/pull/7342 --
