Hi Johannes,
Thanks for the pointer. It’s quite likely that the existing Docker image will be replaced by a revised version (the point of time has not been settled yet).
Cheers, Christian
On Tue, Sep 21, 2021 at 9:35 AM Johannes Bauer johannes.bauer@tanner.de wrote:
Hi,
I cannot find the latest BaseX release on Docker Hub (only the 9.5 branch). Is this still planned?
Thank you.
Best Regards Johannes