On Wed, 7 Mar 2018, Alex Smith wrote: > On Tue, 2018-03-06 at 16:15 -0800, Kerim Aydin wrote: > > All of the below proposals met the quorum of 3.0. > > How did the ".0" get into quorum? I've seen it be used here for quite a > while, but we didn't use it historically and there's no rules reason > for it. It's not an index, after all (and under current rules it's > always an integer).
Personally I was copying from the Promotor's distribution without really thinking about it... Aris any particular reason for the precision?