debian/10.5-1

Tony Mancill

@tmancill

b54cd91e · Merge branch '1-upgrade-to-10-5' into 'debian/latest' · Nov 24, 2023

basex Debian release 10.5-1