On 31/08/2019 2:27 am, Pierre Dupond wrote: [...] > I would be happy however if a patch is published. I guess all would. You should add your experience to the bug report. The more the better because it seems this bug has been around since 10R.