Re: [sage-devel] plugins.startup_modules error

2016-01-11 Thread Eric Gourgoulhon
Le lundi 11 janvier 2016 12:35:36 UTC+1, vdelecroix a écrit : > > Hello Eric, > > The plugin is very naive: it just looks for new modules on startup. And > you added one. You should not worry about it. The patchbot green light > is not at all mandatory to get a ticket reviewed. > > OK, I see.

Re: [sage-devel] plugins.startup_modules error

2016-01-11 Thread Vincent Delecroix
Hello Eric, The plugin is very naive: it just looks for new modules on startup. And you added one. You should not worry about it. The patchbot green light is not at all mandatory to get a ticket reviewed. Vincent On 11/01/16 06:55, Eric Gourgoulhon wrote: Hi, On the ticket http://trac.sage

[sage-devel] plugins.startup_modules error

2016-01-11 Thread Eric Gourgoulhon
Hi, On the ticket http://trac.sagemath.org/ticket/18529 the patchbots report a failed plugins.startup_modules: http://patchbot.sagemath.org/ticket/18529/ Clicking on "diff", one gets the report == plugins.startup_modules == --- 7.0.beta3 +++ 7.0.beta3 + #18529 -Total count: 2