On Tuesday, 4 August 2020 at 12:55:44 UTC, Seb wrote: > So this PR should have never been merged and should be reverted > immediately. I assume linker problems also had something to do with it being merged? I might be wrong though.