On Mon, Jul 13, 2015 at 01:56:44PM +0000, Emmanuel Dreyfus wrote: > > I haven't been able to reproduce it now in a debuggable envrionement, > > unfortunately. > > Any news on that front? No, have not been able to reproduce it, we should consider it fixed (or spurious). Martin