mirror of
https://github.com/microsoft/vscode.git
synced 2026-07-11 00:59:24 +01:00
11601f762a
This fixes several issues thanks to xtermjs/xterm.js#4910