Hi, On Wed, Jan 15, 2020 at 12:06:20PM -0500, Julien Lepiller wrote: > Thanks for the fix! The changelog seems to imply your change of coqidetop was after coq upstream advice. To be clear, I am only the upstream of a plugin that uses coq, not an upstream of coq itself :) yes I know. I asked Hugo Herbelin, who works in the same lab as me. -Ralf.