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 :)
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html