projects / arvados-workbench2.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4967fd0 e3a0a85)
Merge branch '15951-filter-ui-polish'. Closes #15951
authorLucas Di Pentima <lucas@di-pentima.com.ar>
Wed, 11 Mar 2020 13:32:18 +0000 (10:32 -0300)
committerLucas Di Pentima <lucas@di-pentima.com.ar>
Wed, 11 Mar 2020 13:32:18 +0000 (10:32 -0300)
Arvados-DCO-1.1-Signed-off-by: Lucas Di Pentima <lucas@di-pentima.com.ar>


Trivial merge