mavlink/mavlink — pull request #76 by jgosmann (2012-10-25 09:22:39+00:00)
Title: Fix for issue mavlink/mavlink#75

Fixes mavlink/mavlink#75.