Skip to content

Remove Ubuntu 20.04 from CI#161

Open
EnricoMi wants to merge 1 commit intomasterfrom remove-ubuntu-20.04

Commits