mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-06 19:00:27 +08:00
we don't have anything merged for these, and the developer made a separate PR to reserve board IDs, presumably forgetting this reservation...