Google Git
Sign in
gerrit/plugins/replication/db37fc805c157112266572ee55efa407afeddff7
commit
db37fc805c157112266572ee55efa407afeddff7
[log]
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"
tree: 806d8bb2791368ec6c42d838a6b7455ba6a135bd
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE