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]>
signature.asc
Description: OpenPGP digital signature
_______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
