Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Insert back changes from pull request #4299 (Fixed garbled characters when using DBCS strings in title command), already merged in the main trunk but erased (by mistake) due to my latest VHDMAKE commits.
- Loading branch information