Updated terminate_connection() so you can choose if DEL_HOSTs should be
[tinc] / debian / info
1 doc/tinc.info