For posterity, Pankaj Koti noticed I made a mistake summarizing the voting
thread - the 3 binding votes were me, Jarek, and Elad Kalif, not Ephraim.
Sorry Elad, and thanks Pankaj!

Reply via email to