Merge proposals

makedev in Ubuntu has no merge proposals.