eclipse-theia/theia v1.71.2

Eclipse Theia v1.71.2

on GitHub

Based on https://github.com/eclipse-theia/theia/tree/v1.71.2

Includes the following fixes:

• cab7009
  • [1.71.x backport] fix(native-webpack-plugin): support @vscode/ripgrep >= 1.18.0 in #17561
  • Notes: The minimum required @vscode/ripgrep is now ^1.18.0. Fresh installs already resolved to 1.18.0 via semver, so most consumers are unaffected. Anyone pinning 1.17.x via yarn resolutions / npm overrides will need to update.

Full Changelog: v1.71.0...v1.71.1