On Mon, Nov 4, 2019 at 12:11 PM Thomas Munro <thomas.munro@gmail.com> wrote:
> I guess I thought of that as a debugging feature and took it out
> because it was too verbose, but maybe it just needs to be controlled
> by the VERBOSE switch. Do you think we should put that back?
By which I mean: would you like to send a patch? :-)
Here is a new version of the "Leader:" patch, because cfbot told me
that gcc didn't like it as much as clang.