Re: A tidyup of pathkeys.c

[David Rowley]

On Tue, 14 Oct 2025 at 21:05, Richard Guo <guofengli...@gmail.com> wrote:
> +1.  I think this is a nice tidy-up.

Pushed.  Thanks for the reviews.

David