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
