16 Feb
2022
16 Feb
'22
3:51 p.m.
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