On 01/20/2017 10:27 PM, Simon Marchi wrote: > [Sending a v2 because I found another instance of the same problem. I think > there's no more of that kind.] Thanks, this is OK. I wonder whether 7.12.1 has the same problem, though it'll be using cleanups instead. Thanks, Pedro Alves