> It turns out there already was a pull request that does this: > > https://github.com/D-Programming-Language/dmd/pull/1019 The pull request is still unmerged. Isn't this important enough or is the pull invalid?