> On 23 Aug 2023, at 03:28, Peter Smith <smithpb2250(at)gmail(dot)com> wrote:
> PSA a small patch to remove the unnecessary parameter, and so eliminate this shadowing.
Agreed, applied. Thanks!
--Daniel Gustafsson