]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
projects / users / dwmw2 / openconnect.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ecfc891 824c05a)
Merge branch 'tmp-add-ubsan-asan' into 'master'
authorNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Tue, 17 Nov 2020 12:52:50 +0000 (12:52 +0000)
committerNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Tue, 17 Nov 2020 12:52:50 +0000 (12:52 +0000)
Add support for address and undefined sanitizers in the CI

See merge request openconnect/openconnect!140


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