conig Merge pull request #2 from conig/devel
8dad6d8 Jun 30, 2020
Merge pull request #2 from conig/devel
fix renaming within corx
8dad6d8