Commit 66789699 authored 1 year ago by Jörg Sachse

Merge branch 'ci' into 'master'

style: use deb822 format and remove deprecated apt_key (resolves #2233 / ND-2723)

See merge request !1

No related branches found

No related tags found

1 merge request!1style: use deb822 format and remove deprecated apt_key (resolves #2233 / ND-2723)

Checking pipeline status