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