Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
a bug in startup_modules plugin? #71
On #18997 (http://patchbot.sagemath.org/ticket/18997/) I saw PluginFailed - on startup_modules, which appears to be caused by innocent things like
The patchbots seem to think that "sage.combinat.designs.itertools" is a valid module name, see e.g.