Merge proposals

tardy in Ubuntu has no merge proposals.