projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4da9342 43d9cc5)
Merge branch '18340-delete-role-filter-groups' into main. Closes #18340.
authorLucas Di Pentima <lucas.dipentima@curii.com>
Wed, 17 Nov 2021 15:03:42 +0000 (12:03 -0300)
committerLucas 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