Hi all,
A new BaseX maintenance release is available. It contains minor bug fixes and performance tweaks:
http://basex.org
Have fun with the new release, have a good time,
Christian BaseX Team