From: Daniel Lenski <dlenski@gmail.com>
Date: Tue, 3 Aug 2021 19:12:57 +0000 (+0000)
Subject: Merge branch 'ci' into 'master'
X-Git-Tag: v8.20~74
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=c7403272f62f002e18f8a0cdfe11f980868880bf;p=users%2Fdwmw2%2Fopenconnect.git

Merge branch 'ci' into 'master'

Get CI passing again

See merge request openconnect/openconnect!263
---

c7403272f62f002e18f8a0cdfe11f980868880bf