From: David Woodhouse <dwmw2@infradead.org>
Date: Thu, 31 May 2018 16:37:50 +0000 (+0000)
Subject: Merge branch 'feature/cleanup_options_list' into 'master'
X-Git-Tag: v8.00~103
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=2f913bc25d23e05be7d2f767ac5ac40706342319;p=users%2Fdwmw2%2Fopenconnect.git

Merge branch 'feature/cleanup_options_list' into 'master'

cleanup options list and make it less AnyConnect-specific

See merge request dwmw2/openconnect!2
---

2f913bc25d23e05be7d2f767ac5ac40706342319