]> www.infradead.org Git - users/dwmw2/openconnect.git/commit
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)
commit97cde88ddc3934448a194965c2d23889967ce938
tree6ec6b3ae3387988d8da85541bbd67f639b10c1d7
parentc9e58bbbb89eea992a6f1a78f5d7706136f8e6f9
parent01e5269595e579778a787c3ce0b05ed67f3b6eba
Merge branch 'obs' into 'master'

obs workflow: rebuild on each push/merge to master

See merge request openconnect/openconnect!356