]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'patch-1' into 'master'
authorLuca Boccassi <luca.boccassi@gmail.com>
Sat, 26 Jul 2025 16:22:09 +0000 (16:22 +0000)
committerLuca Boccassi <luca.boccassi@gmail.com>
Sat, 26 Jul 2025 16:22:09 +0000 (16:22 +0000)
fix URL to Open Build Service

See merge request openconnect/openconnect!578


Trivial merge