Merge proposals

cysignals in Ubuntu has no merge proposals.