Some optimization: keep merged state in deep region.

This commit is contained in:
Matthias Koefferlein
2019-02-13 17:17:03 +01:00
parent 68947bedd2
commit ddcfda8761
8 changed files with 168 additions and 58 deletions
Binary file not shown.