Hi all,
A new BaseX maintenance release is available. Minor bugs have been
fixed, and some performance tweaks have been added. In particular,
access to large WebDAV directories should be faster now.
As usual, you find the latest version on our homepage basex.org. Maven
artifacts have been added, various other distributions will follow
soon.
Have fun everyone,
Christian, BaseX Team
