[Tcwg-commits] [dejagnu] branch dejagnu-1.6 updated (02984a9 -> 6d3636e)