diff options
author | Vsevolod Kukol <sevoku@microsoft.com> | 2019-10-17 11:59:15 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-17 11:59:15 +0300 |
commit | 39426ef92b81fc28c28074eb8149a0cbcae6c633 (patch) | |
tree | 485422c0db823470eb49c8a6d7238b94edae281a /main/external | |
parent | 27b8e633ff8684bfaa52ecc93c2d39a02daf71ed (diff) | |
parent | fb431afdcaff794887271173776dc7e99ef33f03 (diff) |
Merge pull request #8106 from mono/master-vsts937839
Fixes VSTS Bug 937839: [Feedback] Text Editor: font weight ignored
Diffstat (limited to 'main/external')
0 files changed, 0 insertions, 0 deletions