Le mercredi 29 juin 2016 11:33:53 UTC+2, Jeroen Demeyer a écrit :
>
>
> I'm on holidays now, I just stopped the bot.
>
>
Thanks! Sorry for having disturbed you during holidays...
Best wishes,
Eric.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" grou
On 2016-06-29 11:27, Frédéric Chapoton wrote:
Yes. Jeroen is aware of the problem, but not acting to solve it by
stopping or updating his patchbot. I may have to ban arando.
I'm on holidays now, I just stopped the bot.
--
You received this message because you are subscribed to the Google Group
On Wed, Jun 29, 2016 at 11:27 AM, Frédéric Chapoton
wrote:
> Yes. Jeroen is aware of the problem, but not acting to solve it by stopping
> or updating his patchbot. I may have to ban arando.
See also:
https://github.com/robertwb/sage-patchbot/compare/710edaa29037419685aab51ca076fb9b2a7fbe37...69
Yes. Jeroen is aware of the problem, but not acting to solve it by stopping
or updating his patchbot. I may have to ban arando.
Frederic.
Le mercredi 29 juin 2016 11:21:27 UTC+2, Eric Gourgoulhon a écrit :
>
> Hi,
>
> The patchbot arando is failing with the message
>
> File "/usr/lib/python2.7
