Latest Docker image is now actually refreshed daily

[Romain]

Hello Everyone,

For information now the docker image ‘latest’ is properly the very latest version from master, updated daily (and not just monthly anymore)

Docker Hub

Happy Querying!

Romain