Bug#927805: www.debian.org: number of developers in webwml/english/vote/2019/vote_001_quorum.txt looks incorrect

Rafa <[email protected]>
Newsgroups gmane.linux.debian.devel.www
Message-ID <20190423161850.bef76tupk42oqq3d__44995.025573165$1556036485$gmane$org@rptv.info>
Package: www.debian.org
Severity: normal

Dear Maintainers,

File webwml/english/vote/2019/vote_001_quorum.txt, as of commit
c6a0c8..., states:

    Current Developer Count = 901
    Q ( sqrt(#devel) / 2 ) = 15.8350876221131

I guess that the "Current Developer Count" value should be 1,003
instead of 901, because 1,003 is the number of developers in
vote_001_quorum.log (as of commit 88d434...) and it is the
number than makes "Q ( sqrt(#devel) / 2 ) = 15.8350876221131"
true.

If my calculations are correct:

    sqrt(901)/2  = 15.0083310198036
    sqrt(1003)/2 = 15.8350876221131

Regards,

Rafa.
signature.asc (application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEEmWG93VeeZdp4txl4ZtqJNWf7L+EFAly/Ot0ACgkQZtqJNWf7
L+EMhQ/9FkBwbIMFMmUGsOgqYd1ayKMUjSzHhza5sZOMhlo6erFbFwBLeL+0LCec
p8c1FyR55Nz0tH5s3Dl+/J1/MiBZoGen0iyzSZr6EpOvNvhVI35uEsGBo+RTlmFw
n4RR+ThyK0yCj8XYA6EPph1LimW9rwcpnIuTce9fQFtCTt4FRRN7SCEcNzglKsnj
o2BuT9Va97UiwnH0yyQTFgf5zlm2LCcjgiM1vr2iM01NTUbzptWzR+1LDu3hvdZa
rm71wlz/xZ1uFvHQiLlb1C+UqrYoYqwXjiEznL9aW4J6XjfVrLuKlYr0Jz5KO+4M
KAHPZ2AQRAW5TkSO0tku88RXpR34pWzhMy0+uTGCrLZMjC1l5NRswCawP6L1VwGP
uJrkYDRrgenOmOXnQdjOJuXFqP24i5jb4X46wsm1M65TSyvZEJQQvJPl9knNLW68
rUHIRlx1sN1g8l1iu2Humu1apCr4lJewRjpqECoObEcSK/kB2UWZjhWI/OJ5o1rU
ZfY1cpa+0Cvq5F2kkAQy4penfpwq+0rysViLtyzPmxNWYQql4dD+jJgVTavFX+20
ZtjryhPv2uQO148IoBHniGUnPeXpt5WlAH0mShhxdjtk7WpkiMOIY2+t+zoYq8fp
/IRbXJyfouITJDMAKpWdug+9RacmXBg5PWfGCGZ81iZtrxTw5sA=
=79cX
-----END PGP SIGNATURE-----
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.