1 Oct
2025
1 Oct
'25
4: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/f048f8ef08a129f1a2e5a5efd1635…
Kind regards,
Guus
Hi Guus,
thanks! It's fine by me now.
Best,
Goffi