Merge proposals

redboot-tools in Ubuntu has no merge proposals.