On Wed, Jul 10, 2019 at 11:26:09PM +0200, Tomas Vondra wrote: > Yeah, that's a bug. Will fix (not sure how yet).
Please note that I have added an open item for it. -- Michael
signature.asc
Description: PGP signature
On Wed, Jul 10, 2019 at 11:26:09PM +0200, Tomas Vondra wrote: > Yeah, that's a bug. Will fix (not sure how yet).
Please note that I have added an open item for it. -- Michael
signature.asc
Description: PGP signature