]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'tmp-android-fixes' into 'master'
authorNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Sat, 6 Jan 2024 18:16:00 +0000 (18:16 +0000)
committerNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Sat, 6 Jan 2024 18:16:00 +0000 (18:16 +0000)
.gitlab-ci.yml: specify the toolchain image used

See merge request openconnect/openconnect!520


Trivial merge