Closed simonrw closed 7 months ago
See #274
coverage: 76.809% (+0.09%) from 76.716% when pulling 98a392b7e6c895ae2e3ab50c631c1b60640d2d7b on fix/header-pointer-alignment into d33937f6f385226b209d926ad55f44319f973d1f on main.
See #274