Merge proposals

dejagnu in Ubuntu has no merge proposals.