On Monday, November 17, 2014 11:46:22 AM UTC, Nathann Cohen wrote: > > Volker, I am not telling you that having bad histories is good >
So we agree, perfect ;-) Really the problem is that we rely on time stamps for deciding what to compile. That is a technical issue that we'll fix eventually. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
