mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-02 10:23:25 +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.