On Tue, 25 Jun 2019 at 14:33, David G. Johnston <david(dot)g(dot)johnston(at)gmail(dot)com>
wrote:
>
> Seems to be the same behavior as BUG #1586 whose fix just got applied
> today and will appear in the next point release.
>
Ah, I missed that one when eyeballing the archives, I guess I didn't go
back far enough. Yes, absolutely looks the same, thanks.
Cheers
Tom