projects
/
arvados.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
compact
(merge:
4da9342
43d9cc5
)
Merge branch '18340-delete-role-filter-groups' into main. Closes #18340.
author
Lucas Di Pentima <lucas.dipentima@curii.com>
Wed, 17 Nov 2021 15:03:42 +0000
(12:03 -0300)
committer
Lucas Di Pentima <lucas.dipentima@curii.com>
Wed, 17 Nov 2021 15:03:42 +0000
(12:03 -0300)
Arvados-DCO-1.1-Signed-off-by: Lucas Di Pentima <lucas.dipentima@curii.com>
Trivial merge