I&#39;m going to be all leader-y. I don&#39;t want a potential argument on the mailing list for what is effectively an incredibly trivial matter.<div><br></div><div>There are two votes in favour of thisstylehere.cpp (Daniele and Oggis)</div>
<div>Two votes for this-style-here.cpp (Florian and George G)</div><div><br></div><div>Whichever has the most votes at midnight GMT gets chosen, and we don&#39;t discuss it again. In the case of a tie I get casting vote.</div>
<div><br></div><div>Dave</div>