Hi, On Wed, 01 Jun 2022 at 16:04, zimoun <[email protected]> wrote:
> Well, I have not been enough attentive to correctly save the problematic > part. Now, I am unable to reproduce. )-: Since it’s long time ago and we do not have a reproducer, I’m closing. Cheers, simon
