[graph-tool] Keyserver OK?

Tim Day timday at gmail.com
Fri Mar 14 15:11:37 CET 2014


Thanks!  Yes, works fine for me now.


On 14 March 2014 12:46, Tiago de Paula Peixoto <tiago at skewed.de> 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 <tiago at skewed.de>
>
>
> _______________________________________________
> graph-tool mailing list
> graph-tool at skewed.de
> http://lists.skewed.de/mailman/listinfo/graph-tool
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.skewed.de/pipermail/graph-tool/attachments/20140314/15eeb746/attachment.htm>


More information about the graph-tool mailing list