Re: What tests are run by patchy?

[Frédéric Bron]

> it does a make a make check (reg test comparison) and by default a full make
> doc.

Good point. I am preparing a large patch to replace 'string' by 'const
string&' where it makes sense (to avoid string copy when possible) and
although I am going to run make check my-self before submitting, I am
happy you double check.

Cheers,

Frédéric