On 02.05.2020 16:15, Juha Manninen via lazarus wrote:
On Sat, May 2, 2020 at 11:37 AM Ondrej Pokorny via lazarus
<lazarus@lists.lazarus-ide.org <mailto:lazarus@lists.lazarus-ide.org>>
wrote:
Yes, sorry - you are right. I missed that. I would just remove it.
Ok, I removed it in r63112.
Great, thank you, Juha! Ondrej
-- _______________________________________________ lazarus mailing list lazarus@lists.lazarus-ide.org https://lists.lazarus-ide.org/listinfo/lazarus
