From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: Mon, 10 Jun 2013 07:55:21 GMT
Subject: Re: [PATCH 2/2] rm: introduce advice.rmHints to shorten messages
Message-ID: <CALkWK0n+yF-kRahgsQQuT-+QiT5gy=J_Bdati=uooiW0djQrgw@mail.gmail.com>
In-Reply-To: <19969d9996306bf0e7ac6351d4ad435d@ensibm.imag.fr>

Mathieu Liénard--Mayor wrote:
> I'm not so sure i understand. Do you mean rmHints should deactivate addHints
> aswell, or do you mean that since we're introducing rmHints it would be
> natural to introduce addHints ?

More the latter, but I'm tilting towards addRmHints (or something)
which affects both add and rm hints.

> Sorry about that, we'll work on it.

Nothing to be sorry about.  You're doing good work, and we're helping
you make it even better :)