Merge proposals

ruby-axiom-types in Ubuntu has no merge proposals.