]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
projects / users / dwmw2 / openconnect.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c9e58bb 01e5269)
Merge branch 'obs' into 'master'
authorDavid Woodhouse <dwmw2@infradead.org>
Tue, 12 Apr 2022 07:44:53 +0000 (07:44 +0000)
committerDavid Woodhouse <dwmw2@infradead.org>
Tue, 12 Apr 2022 07:44:53 +0000 (07:44 +0000)
obs workflow: rebuild on each push/merge to master

See merge request openconnect/openconnect!356


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.