Skip to content
GitLab
Explore
Sign in
GUI: Maximum reachable completeness in GUI
Allow the user to see the maximum reachable completeness after merge (as in strategy tool)