]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'obs' into 'master'
authorDavid Woodhouse <dwmw2@infradead.org>
Mon, 13 Jan 2025 12:09:51 +0000 (12:09 +0000)
committerDavid Woodhouse <dwmw2@infradead.org>
Mon, 13 Jan 2025 12:09:51 +0000 (12:09 +0000)
Fix links to Open Build Service

Closes #611

See merge request openconnect/openconnect!587


Trivial merge