On 2016-02-27 15:35, Dima Pasechnik wrote:
version 2.6 has just been released
Very good, this obsoletes my previous complaints. Can you first make a ticket to update nauty (still optional) to this new version? Otherwise there is not much point in voting.
-- 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.