On Thu, May 19, 2016 at 4:17 PM, Erik Bray wrote:
> On Wed, May 18, 2016 at 8:27 PM, Volker Braun wrote:
>> A number of buildbot machines are now failing tests, probably due to a
>> recent git update? In any case, I propose to remove sage.dev. Of course feel
>
> +1 but...
>
>> free to fix the fai
On Wed, May 18, 2016 at 8:27 PM, Volker Braun wrote:
> A number of buildbot machines are now failing tests, probably due to a
> recent git update? In any case, I propose to remove sage.dev. Of course feel
+1 but...
> free to fix the failures if you want to keep it ;-)
Seems like this is maybe c
A number of buildbot machines are now failing tests, probably due to a
recent git update? In any case, I propose to remove sage.dev. Of course
feel free to fix the failures if you want to keep it ;-)
sage -t --long src/sage/dev/git_interface.py
