From: Dimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Date: Mon, 19 Jul 2021 11:45:00 +0000 (+0000)
Subject: Merge branch 'ooops' into 'master'
X-Git-Tag: v8.20~81
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=029676a1f93f32fd73f8f9045fc22d0419a5f9ae;p=users%2Fdwmw2%2Fopenconnect.git

Merge branch 'ooops' into 'master'

Fix typo from previous merge request

See merge request openconnect/openconnect!254
---

029676a1f93f32fd73f8f9045fc22d0419a5f9ae