On Tue, 3 Oct 2023 at 11:24, David Rowley <dgrowleyml(at)gmail(dot)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