On Tue, 3 Oct 2023 at 11:24, David Rowley <dgrowle...@gmail.com> wrote:
> This is along the same lines as 8b26769bc, f736e188c, 110d81728 and 8abc13a88.

I've pushed the patch to fix the misusages of the functions.

David


Reply via email to