]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'tmp-ci-timeout' into 'master'
authorNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Thu, 28 Nov 2024 14:14:13 +0000 (14:14 +0000)
committerNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Thu, 28 Nov 2024 14:14:13 +0000 (14:14 +0000)
socat: added a timeout to ensure that it exits eventually

See merge request openconnect/openconnect!576


Trivial merge