I can do that. I’ll see what’s involved for sage-on-gentoo I may be able
to deploy it there first.

François

> On 16/10/2015, at 15:29, Bill Page <bill.p...@newsynthesis.org> wrote:
> 
> The version of pexpect with the new option is still a branch called
> 
> https://github.com/pexpect/pexpect/tree/superfluous-sleep
> 
> I think they are waiting for us to say that it works with Sage.
> 
> Sorry, I really dont understand what is required in order to update a branch 
> on git.sagemath.org
> 
> 
> 
> On 15 October 2015 at 21:32, François Bissey 
> <francois.bis...@canterbury.ac.nz> wrote:
> On 10/16/15 14:29, kcrisman wrote:
> Though I guess one would have to upgrade sagenb and pexpect simultaneously?
>  You got that part right, it will have to be simultaneous.
> Bill can you update the branch for a version with the commit in
> question included? Is it even released yet?
> 
> Francois
> 
> 
> -- 
> 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.
> 
> 
> -- 
> 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.

-- 
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.

Reply via email to