From owner-freebsd-doc@freebsd.org  Wed Feb 17 11:56:08 2016
Return-Path: <owner-freebsd-doc@freebsd.org>
Delivered-To: freebsd-doc@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 7BE7EAAAF2C
 for <freebsd-doc@mailman.ysv.freebsd.org>;
 Wed, 17 Feb 2016 11:56:08 +0000 (UTC) (envelope-from des@des.no)
Received: from smtp.des.no (smtp.des.no [194.63.250.102])
 by mx1.freebsd.org (Postfix) with ESMTP id 439C8138C;
 Wed, 17 Feb 2016 11:56:07 +0000 (UTC) (envelope-from des@des.no)
Received: from desk.des.no (smtp.des.no [194.63.250.102])
 by smtp.des.no (Postfix) with ESMTP id 9FCFFC576;
 Wed, 17 Feb 2016 11:56:01 +0000 (UTC)
Received: by desk.des.no (Postfix, from userid 1001)
 id 1290B4638E; Wed, 17 Feb 2016 12:55:54 +0100 (CET)
From: =?utf-8?Q?Dag-Erling_Sm=C3=B8rgrav?= <des@des.no>
To: Svyatoslav Razmyslov <razmyslov@viva64.com>
Cc: Russell Haley <russ.haley@gmail.com>, Warren Block <wblock@wonkity.com>,
 Andrey Karpov <karpov@viva64.com>, freebsd-doc@freebsd.org, wblock@freebsd.org
Subject: Re: Checking FreeBSD kernel with static analyzer
References: <56BB00C3.5060309@viva64.com>
 <alpine.BSF.2.20.1602100806460.99531@wonkity.com>
 <56BB5718.1090700@viva64.com>
 <alpine.BSF.2.20.1602101145330.99531@wonkity.com>
 <56BC31B6.6010405@viva64.com>
 <alpine.BSF.2.20.1602141134380.80955@wonkity.com>
 <20160215014958.4403283.67999.2948@gmail.com>
 <CABx9NuSfUykXspDj8x_FMsYhAT9oSsZELGUwf8OZrKqm--d61w@mail.gmail.com>
 <56C18380.90405@viva64.com> <86y4aktt97.fsf@desk.des.no>
 <56C401EB.3080800@viva64.com>
Date: Wed, 17 Feb 2016 12:55:54 +0100
In-Reply-To: <56C401EB.3080800@viva64.com> (Svyatoslav Razmyslov's message of
 "Wed, 17 Feb 2016 08:15:23 +0300")
Message-ID: <86lh6jpn3p.fsf@desk.des.no>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (berkeley-unix)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-BeenThere: freebsd-doc@freebsd.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: Documentation project <freebsd-doc.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-doc>,
 <mailto:freebsd-doc-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-doc/>
List-Post: <mailto:freebsd-doc@freebsd.org>
List-Help: <mailto:freebsd-doc-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-doc>,
 <mailto:freebsd-doc-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 17 Feb 2016 11:56:08 -0000

Svyatoslav Razmyslov <razmyslov@viva64.com> writes:
> 46763fd4ca8a37f836c9bf2333f9d687509278f3

Thank you, that corresponds to svn revision r295235.

DES
--=20
Dag-Erling Sm=C3=B8rgrav - des@des.no