mirror of
https://github.com/microsoft/vscode.git
synced 2026-07-08 07:44:33 +01:00
555808e9cd
issueReporter: Use DOM API instead of string concatenation