def 88141078ca Github Workflow Ubuntu 16.04 -> 18.04 ... No hurry to merge it, can wait until ~September I guess https://github.com/actions/virtual-environments/issues/3287		2021-06-08 12:18:23 +02:00
..
workflows	Github Workflow Ubuntu 16.04 -> 18.04	2021-06-08 12:18:23 +02:00
pull_request_template.md	No need for Summary title	2020-10-20 18:33:42 +02:00