On Thursday, 26 May 2016 10:34:07 UTC-6, kcrisman wrote: > > > http://ask.sagemath.org/question/33555/problem-with-encoding-german-characters/ > > could be related, or so the poster seems to imply - though probably not bad > enough to go back before 7.2. >
Thanks a lot for pointing it out - this is the worst problem I am currently aware of and it is definitely new. Would be solved by a switch to Python3, I guess ;-) Overall things seem to be good enough that I don't plan a reversal anymore. -- 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.