David Bauer d9621048ed actions: pin Ubuntu version ... ubuntu-latest is now assigned to Ubuntu 20.04. As we use custom apt sources for 18.04, pin to this version for now to fix the CI.		2021-02-15 01:38:51 +01:00
..
ISSUE_TEMPLATE	meta: add template for bug reports (#1637)	2019-02-05 01:22:55 +01:00
workflows	actions: pin Ubuntu version	2021-02-15 01:38:51 +01:00