[TabTies] Cascade and merge ties in a shared pool, to prevent them from being cut by closing a middle tab (thanks NDevTK for reporting).

This commit is contained in:
hackademix 2022-08-31 00:02:15 +02:00
parent ca67517523
commit ca8b96d7bb
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 3cc1bc980b07a335f4ed6430099454acd7a8e67f Subproject commit 3043536fb4d670c1616406866042fe54ef4b2d5d