Commit 9e578b34 authored by Mathieu Giraud's avatar Mathieu Giraud

Merge branch 'feature-s/3610-gpg-keyserver' into 'dev'

Dockerfile: use other key server

Closes #3610

See merge request !348
parents 5d0532ff 8aaa0235
Pipeline #49159 passed with stage
in 6 seconds