Re: [graph-tool] Kernel Died Problem

Am 03.12.18 um 06:30 schrieb ashutosh:

Sir,

I tried raising this issue on Git Lab page of graph-tool but somehow it always fails with an error 500 page popping up. I tried using different internet connections and computers but no solution.

Also, I tried looking for this particular Git Lab issue which has reported by others as well. But there isn;t any specific solution associated with this problem.

Thanks for reporting this. The problem has been fixed. -- Tiago de Paula Peixoto <tiago@skewed.de>