Also free the pointer returned by readline().
[tinc] / COPYING
2000-03-26 Ivo TimmermansInitial revision