Merge proposals

arduino-core-avr in Ubuntu has no merge proposals.