mentioned Coverity scan

paparazzi · Oct 2, 2016 · 8376e27 · 8376e27
1 parent 6e12455
commit 8376e27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -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)