Commit e4a1bd90 authored by georg's avatar georg

Merge branch '425-ci-remove-jessie-updates-repo' into 'master'

CI: Remove jessie-updates repo which doesn't exist anymore

Closes #425

See merge request !271
parents 14e57143 2890f5b9
Pipeline #25330 passed with stages
in 35 minutes and 33 seconds