kern/149012: [headers] [patch] please replace '#include <sys/stdint.h>' with '#include <stdint.h>'

[Mark Linimon]

The following reply was made to PR kern/149012; it has been noted by GNATS.

From: Mark Linimon <linimon at lonesome.com>
To: Tuco <tuco.xyz at gmail.com>
Cc: linimon at freebsd.org, bug-followup at FreeBSD.org
Subject: Re: kern/149012: [headers] [patch] please replace '#include
	<sys/stdint.h>' with '#include <stdint.h>'
Date: Mon, 2 Aug 2010 20:20:17 -0500

 On Thu, Jul 29, 2010 at 02:10:43PM -0400, Tuco wrote:
 > I realize I made a mistake, kernel headers can't use <stdint.h> so my
 > change needs to be reverted in sys/ directory. I tested with make
 > buildkernel now (in my FreeBSD chroot), and it works. Sorry!
 
 So, should this PR be closed?
 
 mcl