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?

Reply via email to