Hi Ihor, thanks for double-checking this.
Ihor Radchenko <[email protected]> writes: > Since the actual patch does not have the problem, I'd prefer to ignore > this problem unless it appears again after merging. Sure - can you point the exact branch/commit I should test for the version that will be merged? -- Bastien
