On 09/29/2017 08:43 PM, Fabien COELHO wrote:
>> reality. So I don't know if this needs backpatching or not. But it
>> should be fixed for v10, as there it becomes a demonstrably live issue.
>
> Yes.
Patch looks good to me, so committed to master and v10. Thanks!
- Heikki