[Tcwg-commits] [dejagnu] branch dejagnu-1.6 updated (bf15be2 -> 1a60ad4)