Am 2017-09-12 um 13:58 schrieb 'Martin R' via sage-devel:
> It worked for me after I rebooted my laptop (in Vienna, Austria).  I guess 
> it's
> a coincidence, but who knows...

a reboot did not help me (Klagenfurt, Austria).

Clemens

> 
> Martin
> 
> Am Dienstag, 12. September 2017 13:26:03 UTC+2 schrieb Dima Pasechnik:
> 
>     I've created a trac mirror repo on github:
>     https://github.com/dimpase/sagetrac-mirror
>     <https://github.com/dimpase/sagetrac-mirror>
>     Please pull from there, if you have problems with trac's git.
> 
>     Cheers,
>     Dima
> 
> 
>     On Tue, Sep 12, 2017 at 12:07 PM, Dima Pasechnik <dim...@gmail.com
>     <javascript:>> wrote:
>     > Reported on sage-devel.
>     > But works for me at UK...
>     >
>     > --
>     >
>     > ---
>     > You received this message because you are subscribed to the Google 
> Groups
>     > "sagemath-admins" group.
>     > To unsubscribe from this group and stop receiving emails from it, send 
> an
>     > email to sagemath-admi...@googlegroups.com <javascript:>.
>     > For more options, visit https://groups.google.com/d/optout
>     <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
> <mailto:sage-devel+unsubscr...@googlegroups.com>.
> To post to this group, send email to sage-devel@googlegroups.com
> <mailto:sage-devel@googlegroups.com>.
> Visit this group at https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to