Bastien Fri, 22 May 2020 05:53:31 -0700
Hi Sebastien, are you still seeing something weird in this area?
I could not reproduce the problem you describe. If you don't report anything wrong within a month or so, I will close this bug report. Thanks, -- Bastien
