Hi Clément,

2016-11-07 1:58 GMT+01:00 Clément Pit--Claudel <clement.pitclaudel@live.com>:
> On 2016-11-06 18:20, Mosè Giordano wrote:
>> Hi Clément,
>
> Hi Mosè,
>
>>> […] It could say "no errors or warning to show; try
>>> customizing `…'"?
>>
>> That's a sensible suggestion, thanks.  Maybe we can conditionally
>> add that suggestion when there are warnings/bad boxes.  I can do
>> this, but not right now, probably tomorrow or in the next few days.
>> Feel free to ping me here if I miss to do it this week.
>
> Great, thanks!

Before applying it, please have a look to the patch attached.  Do you
think it's ok?

Bye,
Mosè