In case I don't make it to the end of the dev call, just wanted to comment that 
I am aware that Coverity Scan is unavailable.

It seems some upgrade work they did about Feb 20th  didn't go so well. They do 
plan to restore the service, but no news on when. I have no other details than 


Reply via email to