On Friday, 14 July 2023 at 22:32:57 UTC, Johan wrote: > The important part of the PR is to _stop_ emitting the debug > info section as a "regular" section, and instead make it a > "debug" section (which is then stripped by the linker). For DMD, that'd be reverting https://github.com/dlang/dmd/pull/8168.