From owner-freebsd-current@FreeBSD.ORG  Sat Jan  9 16:04:12 2010
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: current@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 6742D106566C
	for <current@freebsd.org>; Sat,  9 Jan 2010 16:04:12 +0000 (UTC)
	(envelope-from linimon@lonesome.com)
Received: from mail.soaustin.net (lefty.soaustin.net [66.135.55.46])
	by mx1.freebsd.org (Postfix) with ESMTP id 4AAD28FC0A
	for <current@freebsd.org>; Sat,  9 Jan 2010 16:04:12 +0000 (UTC)
Received: by mail.soaustin.net (Postfix, from userid 502)
	id ACE978C340; Sat,  9 Jan 2010 10:04:11 -0600 (CST)
Date: Sat, 9 Jan 2010 10:04:11 -0600
From: Mark Linimon <linimon@lonesome.com>
To: current@freebsd.org
Message-ID: <20100109160411.GA16856@lonesome.com>
References: <20100109153123.GD52442@acme.spoerlein.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20100109153123.GD52442@acme.spoerlein.net>
User-Agent: Mutt/1.5.18 (2008-05-17)
X-Mailman-Approved-At: Sun, 10 Jan 2010 00:30:57 +0000
Cc: Mark Linimon <linimon@lonesome.com>
Subject: Re: Clang Static Analyzer runs on the FreeBSD source code
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>, 
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 09 Jan 2010 16:04:12 -0000

On Sat, Jan 09, 2010 at 04:31:23PM +0100, Ulrich Spörlein wrote:
> PS: what happened to the Coverity runs on FreeBSD?

The machine that it runs on needs maintenance (again).  I'm simply too
swamped to take on the task, myself.

mcl