not a bug: mavros/b6b9754?

[gavanderhoorn]

The description of b6b9754 reads as-if the change in https://github.com/mavlink/mavros/pull/230/commits/b6b975421c8242fad83138a67fb026ef0d90704d fixes a bug identified by a developer.

That commit seems to be part of a "regular" pull request ("inital draft for set_actuator_control plugin", see the list of commits) and seems to just be a fix of a mistake introduced earlier in the same PR (ie: the proposed changes never made it into the repository in their buggy state).

I'm wondering whether this should be marked as a bug. There is no user report, nor a report by a developer. The unfixed code never was part of the repository and was fixed in the same PR.

It doesn't look like we consistently mark such cases as bugs in other repositories (ie: developer fixing his/her own mistake in a subsequent commit of a PR).