Pushed to trunk.
On Thu, 27 Jun 2024 at 10:03, Jonathan Wakely wrote:
>
> I'm planning to push this, although arguably the first change isn't
> worth doing if we can't use it everywhere. If we need to keep the old
> code for EDG, maybe we should just keep using that? The new version
> probably co
I'm planning to push this, although arguably the first change isn't
worth doing if we can't use it everywhere. If we need to keep the old
code for EDG, maybe we should just keep using that? The new version
probably compiles faster though.
Removing the dependency on std::aligned_storage and adding
