mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-23 04:45:37 +08:00
mentioned Coverity scan (#1887)
This commit is contained in:
committed by
Gautier Hattenberger
parent
3e695fd0ba
commit
ac5cefb634
+1
-1
@@ -5,7 +5,7 @@ First release candidate for v5.10
|
||||
|
||||
General
|
||||
-------
|
||||
|
||||
- using Coverity scan tool for static code analysis https://scan.coverity.com/projects/paparazzi-paparazzi
|
||||
- optitrack fixes and gps_datalink protocol updates
|
||||
[#1506] (https://github.com/paparazzi/paparazzi/pull/1506)
|
||||
[#1563] (https://github.com/paparazzi/paparazzi/pull/1563)
|
||||
|
||||
Reference in New Issue
Block a user