Merge proposals

tf5 in Ubuntu has no merge proposals.