Merge proposals

sibsim4 in Ubuntu has no merge proposals.