Commit c6140f53 authored by Mikaël Salson's avatar Mikaël Salson

Merge branch 'doc/docker-digest' into 'dev'

doc/server.md: How to know what docker image is running

Closes #2939

See merge request !547
parents 343a80bb 60e366d4
Pipeline #105740 passed with stages
in 4 minutes and 48 seconds