]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Merge branch 'priority' into 'master'
authorDaniel Lenski <dlenski@gmail.com>
Tue, 20 Feb 2024 19:27:59 +0000 (19:27 +0000)
committerDaniel Lenski <dlenski@gmail.com>
Tue, 20 Feb 2024 19:27:59 +0000 (19:27 +0000)
GlobalProtect: Add priority-rule set support

Closes #663

See merge request openconnect/openconnect!498


Trivial merge