<div dir="ltr">Voting was open from 29 Nov 2019 through 13 Dec 2019. The final tally was 21 yes votes, 0 no votes, and 3 abstentions.<div><br></div><div>Thanks to everyone who voted and/or participated in the discussion.</div><div><br></div><div>Eric</div><div><br></div></div>