Archived
1
0

chore: update Code to 1.71.1 (#5558)

* chore: update Code to 1.71.1

* chore: refresh patches

* docs: add quilt refresh tip
This commit is contained in:
Joe Previte
2022-09-15 14:49:28 -07:00
committed by GitHub
parent 309a3b2c6e
commit 7ecfb95569
6 changed files with 16 additions and 7 deletions

View File

@ -18,7 +18,7 @@ Index: code-server/lib/vscode/src/vs/workbench/contrib/extensions/browser/extens
if (!this.local.preRelease && this.gallery.properties.isPreReleaseVersion) {
return false;
}
@@ -1121,6 +1125,10 @@ export class ExtensionsWorkbenchService
@@ -1121,6 +1125,10 @@ export class ExtensionsWorkbenchService
// Skip if check updates only for builtin extensions and current extension is not builtin.
continue;
}