Merge proposals

unknown-horizons in Ubuntu has no merge proposals.