Hi list,
In BaseX 7.0 [...] no duplicate file names will be allowed anymore
Seeing that 6.8 was renamed to 7.0, was this change postponed to 7.1, or will it still be in 7.0 (as part of the general API breakage)? I find the notion of duplicate filenames quite confusing.
Kind regards, Ralf