On Thu, Nov 30, 2023 at 3:12 PM Richard Sandiford
wrote:
>
> Ping
OK.
Thanks,
Richard.
> Richard Sandiford writes:
> > This is a ping+rebase of the patch below. I've also optimised the
> > handling of ignored attributes so that we don't register empty tables.
> > There was also a typo in the
Ping
Richard Sandiford writes:
> This is a ping+rebase of the patch below. I've also optimised the
> handling of ignored attributes so that we don't register empty tables.
> There was also a typo in the jit changes (which I had tested, but the
> typo didn't seem to cause a failure).
>
> Retested
This is a ping+rebase of the patch below. I've also optimised the
handling of ignored attributes so that we don't register empty tables.
There was also a typo in the jit changes (which I had tested, but the
typo didn't seem to cause a failure).
Retested on aarch64-linux-gnu & x86_64-linux-gnu. T