mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-06 19:00:27 +08:00
complaints that the existing name caught people's eyes as "oh, a bad thing has happened". Makes things look more like the other jobs this runs parallel to.