version specifier for COBS #82

Merged
muellerr merged 1 commits from ci-check into main 2023-09-26 18:04:42 +02:00