https://issues.dlang.org/show_bug.cgi?id=3764
--- Comment #4 from Jack Stouffer <[email protected]> --- (In reply to Andrei Alexandrescu from comment #2) > Merged. Anything left? If not, please close this. Thanks! When the commit message in a PR says that an issue is fixed, then the issue is auto closed by [email protected] --
