Fix collisions_updater CLI if no package is used#2344

Merged

sjahr merged 3 commits intomoveit:mainfrom

henningkayser:pr-collisions_updater_without_package

Sep 12, 2023

Commits on Sep 6, 2023

Fix collisions_updater CLI if no package is used
henningkayser
committed

Commits on Sep 11, 2023

Improve warn message wording
henningkayser
committed

Commits on Sep 12, 2023

Merge branch 'main' into pr-collisions_updater_without_package
sjahr
authored