Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Terminal] add encoding to tab title if it differs from default
Fixes #11642.
- Loading branch information