[ARVADOS] deleted: 0a05151f05de44233d3c6ae0d53ecae2855f5a11
Git user
git at public.curoverse.com
Tue Jan 9 12:54:49 EST 2018
was 0a05151f05de44233d3c6ae0d53ecae2855f5a11
-----------------------------------------------------------------------
0a05151f05de44233d3c6ae0d53ecae2855f5a11 10028: when an "is_a" filter is used while fetching contents, do not search in all "other" types.
-----------------------------------------------------------------------
hooks/post-receive
--
More information about the arvados-commits
mailing list