Hello, the "ancient" ticket #8386 is almost good to go, except an annoying problem with the plugins.startup_modules<http://patchbot.sagemath.org/log/8386/Fedora/17/x86_64/3.6.1-1.fc17.x86_64/volker-desktop.stp.dias.ie/2012-10-20%2017:28:57%20+0100?plugin=plugins.startup_modules>, which complains about startup time or something like that..
Does anybody know how to solve that ? Didn't something similar happen to some of the cluster patches ? Thanks a lot, Frederic -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To view this discussion on the web visit https://groups.google.com/d/msg/sage-combinat-devel/-/yKJqAw7_vZkJ. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.