On 20.01.2018 06:53, Spencer Gardner wrote:
> Is the key server currently down? I've tried to add the apt key from
> computers on two different networks and in both cases I get a keyserver time
> out.

This has been fixed; thanks!


-- 
Tiago de Paula Peixoto <[email protected]>

Attachment: signature.asc
Description: OpenPGP digital signature

_______________________________________________
graph-tool mailing list
[email protected]
https://lists.skewed.de/mailman/listinfo/graph-tool

Reply via email to