[Tcwg-commits] [toolchain/dejagnu] branch christophe-trailing-eof created (now 7684cce)