Flagged Out-of-Date Comment: microshift-bin

cgirard flagged microshift-bin out-of-date on 2023-02-14 (UTC) for the following reason:

several versions back