From e4ada4ce0f51aea5d5344682ce4428a21c36924a Mon Sep 17 00:00:00 2001
From: teythoon <teythoon@web>
Date: Fri, 21 Mar 2014 12:38:32 +0100
Subject: add link to our coverity page, and yes, it's very much non-free

---
 open_issues/code_analysis.mdwn | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'open_issues')

diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index f9bddaa1..df434b76 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -126,7 +126,9 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
         <teythoon> that, and most tools are horrible to use, frama-c is really
           an exception in this regard
 
-  * [Coverity](http://www.coverity.com/) (nonfree?)
+  * [Coverity](http://www.coverity.com/) (nonfree)
+
+      * <https://scan.coverity.com/projects/1307> If you want access, speak up in #hurd or on the mailing list.
 
       * IRC, OFTC, #debian-hurd, 2014-02-03
 
-- 
cgit v1.2.3