From: David Woodhouse <dwmw2@infradead.org>
Date: Tue, 12 Apr 2022 07:44:53 +0000 (+0000)
Subject: Merge branch 'obs' into 'master'
X-Git-Tag: v9.00~49
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=97cde88ddc3934448a194965c2d23889967ce938;p=users%2Fdwmw2%2Fopenconnect.git

Merge branch 'obs' into 'master'

obs workflow: rebuild on each push/merge to master

See merge request openconnect/openconnect!356
---

97cde88ddc3934448a194965c2d23889967ce938