Merge proposals

arduino-builder in Ubuntu has no merge proposals.