[Tcwg-commits] [dejagnu] branch christophe-trailing-eof deleted (was 7684cce)