tree 6579b037d53d199499c395aead67e0ab47e2219e
parent 082509087ca69801438a857cf36a8ffd94140231
author Dhruv Srivastava <dhruvsri@google.com> 1602681135 +0200
committer Dhruv Srivastava <dhruvsri@google.com> 1602681921 +0200

Fix patchset comparison when adding coverages

Change-Id: I17f1a0c624547eb80db6db4f78c7b7ea3c9fe3d7