Re: [graph-tool] Keyserver OK?

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@skewed.de>