On Sat, Apr 20, 2019 at 11:36 PM Michael Van Canneyt via lazarus <lazarus at lists.lazarus-ide.org> wrote: > ... Mantis has been updated to the latest version. That's a bit of a shock. It looks horrible to me ;-( -- Bart