This repository was archived by the owner on May 31, 2024. It is now read-only.
When starting mic, encourage to update to latest version, or update automatically #318
Description
In the docker image mic versions are often not up to date with the latest release. We should make sure they are because it could lead to problems