Re: [graph-tool] "Segmentation fault (core dumped)" and "Aborted (core dumped)"

24 Apr 2018


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