did it say how many had voted?
Nope. Given the nice rounded numbers right now, it could be 9,925 “Yes” and 75 “No” for an even 10,000 votes.
14