On Sat, Jun 28, 2025 at 08:53:22PM +0100, Gavin Smith wrote:
> Yes, I believe I said this in another message.  I'll try again to explain
> how I think Info should find Info nodes:

D'oh, I keep on saying "Info nodes", I meant "index nodes".

Reply via email to