merge another fix from the wrong branch
Description
Description
Details
Details
- Provenance
Simon Plätzer <simon.plaetzer@gmail.com> Authored on - Parents
- rTHEPEGHG472640aeb430: fix and improvements to diagram topology comparison
rTHEPEGHGbe8f7f20d540: merged fix from wrong branch - Branches
- Unknown
- Tags