Commit 204fce7d authored by Guido Gunther's avatar Guido Gunther
Browse files

Merge branch 'upgrade' into 'master'

root.sh: Perform dist-upgrade with the added apt repos

See merge request !183
parents 19fdf74f 622cd97a
Pipeline #63890 passed with stage
in 9 seconds