This is now the development integration branch where we merge stuff for the next release. Tag as v5.7_devel to get correct version reporting in paparazzi_version
This tag has no release notes.
This is now the development integration branch where we merge stuff for the next release. Tag as v5.7_devel to get correct version reporting in paparazzi_version