On 24.04.2018 14:13, P-M wrote: > Are you able to push the current git version to apt-get?
No, you would have to wait until the next release. -- 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
