On Thu, Oct 10, 2019 at 6:45 PM Arun Chandrasekaran via Digitalmars-d <digitalmars-d at puremagic.com> wrote: > > Right, but I don't see that discussion happening. As I can see > there are three different PRs to revert it. Just duplication of > effort. https://github.com/dlang/dmd/pull/10463