Re: [PATCH 2/2] rm: introduce advice.rmHints to shorten messages
- From
Ramkumar Ramachandra <artagnon@gmail.com>
- Date
- Jun 10, 2013, 07:55 UTC
- 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 :)