commit ead12ac9acfa3805bea71059541441470e33565d
Author: Dhruv Srivastava <dhruvsri@google.com>
Date:   Fri Oct 9 21:43:27 2020 +0200

    Convert patchNum into integer if possible
    
    Change-Id: I0d33668b94780b8bb5ee556642cf8100ed7d7314

diff --git a/polygerrit-ui/app/elements/change/gr-change-view/gr-change-view.js b/polygerrit-ui/app/elements/change/gr-change-view/gr-change-view.js
index e317cf9..e5b3daf 100644
--- a/polygerrit-ui/app/elements/change/gr-change-view/gr-change-view.js
+++ b/polygerrit-ui/app/elements/change/gr-change-view/gr-change-view.js
@@ -1058,6 +1058,13 @@ class GrChangeView extends KeyboardShortcutMixin(
       patchNum: value.patchNum,
       basePatchNum: value.basePatchNum || 'PARENT',
     };
+    // TODO(TS): remove once proper type for patchRange is defined
+    if (!isNaN(Number(patchRange.patchNum))) {
+      patchRange.patchNum = Number(patchRange.patchNum);
+    }
+    if (!isNaN(Number(patchRange.basePatchNum))) {
+      patchRange.basePatchNum = Number(patchRange.basePatchNum);
+    }
 
     this.$.fileList.collapseAllDiffs();
     this._patchRange = patchRange;