Final tally While I wasn't able to retrieve Eroik's message where he changed his vote, his request is consistent with his remarls. Hence the final tally :
Yes, we should fully support OpenSSL now, and clarify the licensing issue : 9 unambiguous votes : Dima Pasechnik <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/l60DtoS7BAAJ> William Stein <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/baYvq2FlAQAJ> John Cremona <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/maEbwapnAQAJ> David Roe <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/3lw65AhrAQAJ> Nathan Dunfield <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/g3snuI_mBAAJ> Richard_L <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/2UAImb9zBgAJ> Marteen Derickx <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/5aB2QUuEBgAJ> Luca de Feo <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/yezISXCqAAAJ> Eric Gourgoulhon <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/orELSimhBwAJ> Emmanuel Charpentier <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/BfHEypU2CAAJ> No, we should wait until OpenSSL finishes fixing their license situation formally : 4 unambiguous votes. Jeroen Demeyer <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/rYVMNow-AAAJ> Ralf Stephan <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/ATZz0NrnBgAJ> Snark <https://groups.google.com/d/msg/sage-devel/fE45025Wphs/y-PcNbLWAQAJ> Erik bray Other participants to discussion, which did not formally vote, or "threw their vote away" ((C) Michael Orlitzky) in favor of another option : 10 people David Joyner Michael Orlitzky Nicolas M Thiéry Dr David Kirby Thierry (sage-googlesucks@xxx) kcrisman John H Palmieri The ayes still have it. The remarks abstract still needs a bit of work (furthermore, RealLife (TM) is currently playing tricks on me). The posts resulting from the vote and these remarks will appear some time this week. HTH, -- Emmanuel Charpentier -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
