tree 79b0efc32cb441095d8c0a3de96ee892a1b1d412
parent add33fe4c1a9b73ceef5bcd3e3721f65e906b606
parent db93e2e379a6d35c71202ec7911e27dee4662f1e
author Edwin Kempin <ekempin@google.com> 1576850491 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1576850491 +0000

Merge "Submit: if change to be submitted is missing in index result check if it is merged"