Merge "[code coverage] Correctly handle diff between patchsets"

src/main/resources/static/chromium-coverage.html

diff --git a/src/main/resources/static/chromium-coverage.html b/src/main/resources/static/chromium-coverage.html
index 3ce22b4..2e1cb93 100644
--- a/src/main/resources/static/chromium-coverage.html
+++ b/src/main/resources/static/chromium-coverage.html
@@ -285,11 +285,10 @@
 
         if (coverageData.change != context.changeNum ||
             coverageData.patchset != context.patchNum) {
-          console.log(`The diff view has changed from ` +
-                      `${coverageData.change}/${coverageData.patchset} ` +
-                      `to ${context.changeNumber}/${context.patchNum}, ` +
-                      `code coverage data will be reloaded.`);
-          reloadCoverageData();
+          // When switching from one patchset to another one, the annotation
+          // layers of both the old and new patchsets are notified, so this
+          // special condition is required to avoid the annotations of the old
+          // patchset being incorrectly applied to the new patchset.
           return;
         }