On Tue, Oct 08, 2024 at 08:13:12PM +0100, Gavin Smith wrote: > It could only be because I switched from the master branch and there > is something left over from building from the master branch.
ALl the more likely that the gnulib versions of 7.1 and master are probably substantially different now. -- Pat
