8 Oct
2022
8 Oct
'22
12:48 a.m.
Good evening/morning Hans-Jürgen,
Thanks for the observation, I have uploaded a new snapshot. BaseX 10.3 will be released next week.
Cheers, Christian