Don't run graph algorithms if no edge is deleted in terminate_connection().
[tinc] / m4 / README
2000-03-26 Ivo TimmermansInitial revision