On Fri, Jul 27, 2018 at 2:22 PM Maxim Ganetsky via Lazarus <lazarus at lists.lazarus-ide.org> wrote: > The patch looks good, please apply it too. Ok, applied in r58641. Juha