]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'vpn_progress_wintun_version' into 'master'
authorDavid Woodhouse <dwmw2@infradead.org>
Sun, 10 Apr 2022 14:04:46 +0000 (14:04 +0000)
committerDavid Woodhouse <dwmw2@infradead.org>
Sun, 10 Apr 2022 14:04:46 +0000 (14:04 +0000)
Silence compiler warning [-Wformat=]

See merge request openconnect/openconnect!317


Trivial merge