Dear patchbot devs,
I finally got a patchbot (2.1.1.1) running on our local cloud
(onevm-208). A strange thing: out of the seven patches [1] it has
checked all but one were closed ones, which is not super useful. Any
idea why this can be?
I just use the standard configuration, up to one thing: I have set the
default branch to "develop" rather than "master" to workaround the
recent issues with ecl/maxima when switching from one to the other
(this also probably cuts a bit on compilation time).
Thanks in advance,
Cheers,
Nicolas
[1] 14306 15545 15970 16199 16248 16249 16367
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
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 this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
