]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
projects / users / dwmw2 / openconnect.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a6a2f18 e1b6108)
Merge branch 'script_setenv_NULL' into 'master'
authorDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Wed, 13 Dec 2023 20:56:34 +0000 (20:56 +0000)
committerDimitri Papadopoulos Orfanos <3350651-DimitriPapadopoulos@users.noreply.gitlab.com>
Wed, 13 Dec 2023 20:56:34 +0000 (20:56 +0000)
script_setenv: fix append with val == NULL

See merge request openconnect/openconnect!445


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.