Merge proposals

tla in Ubuntu has no merge proposals.