problem with graphviz_draw()

Hello,

After updating graph_tool from version 2.33 to 2.35, I cannot make plots
with graphviz_draw() anymore. Here is a minimal example to reproduce the
error:

Hi,

Please open an issue in the website with this example, and I'll take a
look at it when time permits.

Best,
Tiago

Thanks. I've opened an issue now.
Best regards
Rolf

For anyone who has the same problem, here is a quick bug fix until the
problem is finally resolved:

In your graph-tool-2.35 code, replace the file
graph_tool/draw/graphviz_draw.py by this one:

http://www.rolf-sander.net/tmp/graphviz_draw.py

FYI: This replacement file graphviz_draw.py is taken from graph-tool
version 2.33, and a bug fix from Jeff Trull has already been applied,
see:

https://nabble.skewed.de/graphviz-draw-cannot-plot-loops-anymore-td4028466.html