"Arnaud Le Hors" <[EMAIL PROTECTED]> writes:
> Hold on! I think some people are answering the wrong question. The
> question is not (yet) "how do you want to implement the renaming?" But
> simply "do you want to rename the include dir?"
> Iff we decide to rename it, then we should discuss the pros and cons of
> the different ways to implement it, and we may want to vote on this
> again. But people shouldn't vote against the renaming because they are
> against a particular way of implementing it.
Agreed. If we decide to go ahead with the rename, we should have a
second vote on how to implement it.
jas.
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
