On 03/04/2016 02:55 PM, John Wiegley wrote:
> Clément, have you seen this bug on your side?  Is it possible that this only
> happens on OS X?

Definitely OS X only; I haven't seen it in over 6 months using of Emacs 25 w/ PG and Coq.