1 Oct
2025
1 Oct
'25
10:59 a.m.
Le mercredi 1 octobre 2025, 09:17:42 heure d’été d’Europe centrale Guus der Kinderen a écrit :
Hi Goffi,
Thanks for the feedback. We already were in general agreement that this change was needed, I think, but were waiting for other Council members to weigh in.
I have now applied the requested changes in https://github.com/xsf/xeps/pull/1455/commits/f048f8ef08a129f1a2e5a5efd16350...
Kind regards,
Guus
Hi Guus, thanks! It's fine by me now. Best, Goffi