Sergey's feedback is certainly relevant, but to date, it's just him and me.
This *is* policymaking stuff, and I'd feel rather uncomfortable if we
just decided something and charged ahead, just to hear later that people
are unhappy about it.
(CC'ing this to whose who were among the top 20 line-adding contributors
both in 2013 and 2014. My apologies if you did not want to receive this.)
--
You received this message because you are subscribed to the Google Groups
"sympy" 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 http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/54A7E380.6000302%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.