On Sunday, 10 November 2024 19:57:26 CET Tom Tanner via Pan-users wrote:
> Will prepare a PR to sort both these properly (the 2nd one is easy, the
> first one not quite so)

Thomas's PR was merged. You should be good to go.

All the best




_______________________________________________
Pan-users mailing list
Pan-users@nongnu.org
https://lists.nongnu.org/mailman/listinfo/pan-users

Reply via email to