tree 806d8bb2791368ec6c42d838a6b7455ba6a135bd
parent a6a6ec5982e41a0ee9bfe24a46be96d4f13fcaaa
parent 9f6c8c838c0386ac407cf016ab3f24e4cf3fa3d6
author Marco Miller <marco.mmiller@gmail.com> 1603465753 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1603465753 +0000

Merge "ReplicationTaskStorage: Use Stream API instead of List"