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 this. Chris.
