Flagged Out-of-Date Comment: zedpro

La_MouettE flagged zedpro out-of-date on 2024-04-10 (UTC) for the following reason:

2023.5 is out