Commit ff875269 authored by Nikos Mavrogiannopoulos's avatar Nikos Mavrogiannopoulos

Merge branch 'tmp-updated-builders' into 'master'

.gitlab-ci.yml: updated builders to latest used by gnutls

Closes #6

See merge request !7
parents a4ac29b3 aacda36b
Pipeline #42259851 passed with stages
in 44 minutes and 57 seconds