15 Aug
2022
15 Aug
'22
5:47 a.m.
The problems related to the MIXUPDATES option have been fixed; a new snapshot is online [1].
Best, Christian
[1] https://files.basex.org/releases/latest/
On Sun, Aug 14, 2022 at 1:54 PM Christian Grün christian.gruen@gmail.com wrote:
Hi Sebastian,
Thanks for the observation. I’ve created an issue to track this down [1].
Best, Christian