On Fri, Oct 15, 2021 at 11:22 PM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
> Hearing nothing, I have just poked at this problem.
> Peter, does it take care of your problem?
Yes, it does.
Thank you for taking care of this.
--
Peter Geoghegan