George Thomas 322ad4ee73 wip: use upstream fix to avoid header patching hack... ...

argh, unrelated breaking change, and bad names

a few bits of this should be split up

2026-04-14 00:37:22 +01:00

..

GarnetRs

wip: use upstream fix to avoid header patching hack...

2026-04-14 00:37:22 +01:00