diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-04-29 08:55:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-29 08:55:56 +0200 |
commit | e23bd5a1cb0f17ca6085359a4e87d58d80bcceaa (patch) | |
tree | ac3f99ffb63e8d4248e4ca75c9aa34ef33a13667 /core/os | |
parent | 75e4ccc00e0741db9bdfe3d0f0422afe796a0844 (diff) | |
parent | 9dfb231e00311c6e9c6fa0df75714c38314ed8cd (diff) |
Merge pull request #38314 from KoBeWi/dead_increment
Remove unneccessary increment in TextEdit
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions