Skip to content

[TreePath] remove last bits of deprecated TreePath

Christian Engwer requested to merge remove-last-traces-of-treepath into master

we remove specializations of TreePath, as this now only an alias and this the HybridTreePath version matches.

Merge request reports