[ARVADOS] updated: 1.3.0-1973-g4130c84e6

[Git user]

Summary of changes:
 .../src/main/java/org/arvados/client/api/model/argument/Filter.java  | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

       via  4130c84e6a46d426c3ae0beabd1a8b0a74deda48 (commit)
       via  9b3ed4805fda2af391677b8c77d318d916203dcb (commit)
      from  a8f0b080e63a5aa7fc3538859bfffd8a165ed869 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 4130c84e6a46d426c3ae0beabd1a8b0a74deda48
Merge: a8f0b080e 9b3ed4805
Author: Lucas Di Pentima <lucas at di-pentima.com.ar>
Date:   Tue Dec 10 14:33:45 2019 -0300

    Merge branch 'MajewskiKrzysztof-exists-filter'
    Closes #15920


-----------------------------------------------------------------------


hooks/post-receive
--