tree 654fc39aababcc84944463fefc16bb5f517046ef
parent 742719590e2175feaced5fa6b31a5e6a307a8624
author Marc Kupietz <kupietz@ids-mannheim.de> 1706191671 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1706191671 +0100

CI: build also on Ubuntu stable

Change-Id: I67ec007b39d97c718c470931d68cf0fd600f2e1a