Thanks! Yes, works fine for me now.
On 14 March 2014 12:46, Tiago de Paula Peixoto <[email protected]> wrote: > On 03/14/2014 12:00 AM, Tiago de Paula Peixoto wrote: > > Thanks for the heads-up... There seems to be a database problem with the > > keyserver. I'll try to fix it tomorrow. > > It should be working now. > > Best, > Tiago > > -- > Tiago de Paula Peixoto <[email protected]> > > > _______________________________________________ > graph-tool mailing list > [email protected] > http://lists.skewed.de/mailman/listinfo/graph-tool > >
_______________________________________________ graph-tool mailing list [email protected] http://lists.skewed.de/mailman/listinfo/graph-tool
