Merge Ubuntu18 and Ubuntu20 build. (!42) · Merge requests · system-transparency / core / system-transparency · GitLab

Jens Drenhaus requested to merge mergeUbuntu into master Oct 12, 2020

Created by: ChriMarMe

Signed-off-by: Christopher Meis christopher.meis@9elements.com