On Sat, May 21, 2016 at 03:48:49AM -0700, Volker Braun wrote:
> Removing sagedev is now http://trac.sagemath.org/ticket/20645
+1 too, those scripts used to broke the patchbots running within a VM and
seem not to be used at all.
Ciao,
Thierry
>
> --
> You received this message because you are
Removing sagedev is now http://trac.sagemath.org/ticket/20645
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to t
