| commit | db37fc805c157112266572ee55efa407afeddff7 | [log] [tgz] |
|---|---|---|
| author | Marco Miller <marco.mmiller@gmail.com> | Fri Oct 23 15:09:13 2020 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Oct 23 15:09:13 2020 +0000 |
| tree | 806d8bb2791368ec6c42d838a6b7455ba6a135bd | |
| parent | a6a6ec5982e41a0ee9bfe24a46be96d4f13fcaaa [diff] | |
| parent | 9f6c8c838c0386ac407cf016ab3f24e4cf3fa3d6 [diff] |
Merge "ReplicationTaskStorage: Use Stream API instead of List"