Re: [basex-talk] empty() behaves differently on 7.8.2