Re: [basex-talk] How do you update Basex to 7.7.2 version?