From: Lucas Di Pentima Date: Wed, 11 Mar 2020 13:32:18 +0000 (-0300) Subject: Merge branch '15951-filter-ui-polish'. Closes #15951 X-Git-Tag: 2.1.0~36 X-Git-Url: https://git.arvados.org/arvados-workbench2.git/commitdiff_plain/9e38e0583dc943efcfe71ad722c814e92bac4d8a Merge branch '15951-filter-ui-polish'. Closes #15951 Arvados-DCO-1.1-Signed-off-by: Lucas Di Pentima --- 9e38e0583dc943efcfe71ad722c814e92bac4d8a