Closed jakobbraun closed 2 years ago
Unifying fails if a label should be renamed to another that already exists.
Unifying fails if a label should be renamed to another that already exists.