tree 1c92ff2935e3d3afc0d2465dab42921d03f24d79
parent 1f60e356ee3616f7ba898bc5a72e8a7add4c925b
parent 57fbb601308e9b4646389596e3321caed2d408dc
author David Ostrovsky <david@ostrovsky.org> 1610569830 +0100
committer David Ostrovsky <david@ostrovsky.org> 1610569935 +0100

Merge branch 'stable-3.3'

* stable-3.3:
  Add shadow-selection-polyfill
  Update jetty version to 9.4.35.v20201120
  Add shadow-selection-polyfill
  Update codemirror-minified to 5.59.1
  AliasConfig: Pass recursive=true into getNames() JGit methods
  Update git submodules
  Update git submodules
  Update git submodules
  Revert "Remove PerThreadCache"
  Revert "Remove unused CurrentUser#cacheKey method"
  docs: attention set: 3.3 is no longer upcoming
  Revert "Upgrade soy to 2020-08-24"

Due to update of @typescript-eslint/eslint-plugin package, the rule to
switch off @ts-ignore comment warning was renamed from ban-ts-ignore to
ban-ts-comment.

Change-Id: I280855c2e70bc58fa82568f4f37e2d347ddd851c