Skip to content

Change ubuntu usage from latest to 20.04#1157

Merged
DellaBitta merged 2 commits intomainfrom
ddb/unbuntu-2020
Nov 29, 2022
Merged

Change ubuntu usage from latest to 20.04#1157
DellaBitta merged 2 commits intomainfrom
ddb/unbuntu-2020

Commits

Commits on Nov 29, 2022