Commit fa487d3d authored by Jens Reidel's avatar Jens Reidel

mention the docker image

parent a30c71c0
Pipeline #2055 failed with stages