projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fe38ef3 6464166)
Merge pull request #11798 from GuLinux/patch-1
authorNikos Mavrogiannopoulos <n.mavrogiannopoulos@gmail.com>
Fri, 1 May 2020 11:39:03 +0000 (13:39 +0200)
committerGitHub <noreply@github.com>
Fri, 1 May 2020 11:39:03 +0000 (13:39 +0200)
openconnect: Allow to set `usergroup` option


Trivial merge
Mirror of packages feed