<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 29 Oct 2022, 12:00 Bruno Haible, <<a href="mailto:bruno@clisp.org">bruno@clisp.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Jonathan Wakely wrote:<br>
> May be that this is a bug of autoconf.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">N.B. Jaroslav said that, not me :)</div><div dir="auto"><br></div><div dir="auto"><br></div></div>