Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
checker: fix the issue that a region does not merge to the sibling with smaller size (#1723) #1726
cherry-pick #1723 to release-3.0
Signed-off-by: disksing email@example.com
What problem does this PR solve?
What is changed and how it works?
Make it right and clear and add test.