tree b0dea0ba67483ccd7d3e947ad9b99531041bef80
parent fd760be09fe54cae1c6482b35f07b82f66952fc0
parent f205d0eb4ca33632429598d01499303ce31df82c
author Edwin Kempin <ekempin@google.com> 1622115059 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1622115059 +0000

Merge "Bind DiffOperations for batch programs"