On 2016-08-25 10:01, Luca De Feo wrote: > [...] Even though you do not have the power to do the same with Sage > as what just happened with MariaDB [...]
What did just happen to MariaDB? (I am asking as I have no glue what you speak about; Google brings up something, but this all seems not relate with your "just".) Daniel -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
