yet another rule to discuss

[Andrei Kholodnyi]

> We should however try to reach agreement inside the
> development team whenever possible, because it is important
> that people who participate in the project understand
> and identify themselves with the reasons behind decisions.

Yes, I think to reach an agreement is important.
In this particular case with build.sh patch
it was probably better to wait a little bit and try to reach such an
agreement before pushing it.

Andrei.