Flagged Out-of-Date Comment: verifast-bin

sandervb flagged verifast-bin out-of-date on 2023-11-06 (UTC) for the following reason:

21.04 is available: https://github.com/verifast/verifast/releases/tag/21.04