Thanks for the patch.

I apt-got the sources, applied the patch, built it and then installed
the resulting graphviz and libgraphviz packages and I can confirm that
this does indeed fix the problem.

-- 
dotty hangs
https://bugs.launchpad.net/bugs/192590
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to