Dear all,

due to a bug in the refinement.bot implementation, many comments on Mantis issues contacted by the bot got a "Last edited" date "2022-02-16 10:21" or "2022-02-07 11:25 ". No content was changed. We apologize for any inconvenience this may cause.

Best regards, Fabian Wolf