diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-03 11:32:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-03 11:32:04 +0200 |
commit | d84954a2818e72a96deec1d027028e796f2930f3 (patch) | |
tree | 8b5dc4a09cb0a7e9a4afc4ccf1524c81356bf2f9 /platform | |
parent | f57ade8f800671e50e421aa1f985d75044290176 (diff) | |
parent | 6cdcdbc242eb13140bfef77c7a842d652883f4fe (diff) |
Merge pull request #41459 from Paulb23/nested_color_regions
Fix colour region end key seach and start key order
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions