--UiQbhG36sksrFEkN
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Mon, Jan 24, 2005 at 11:35:48AM +1100, Simon Burge wrote:
  | On Sun, Jan 23, 2005 at 07:14:28PM -0500, Steve Rumble wrote:
  |=20
  | > On Mon, Jan 24, 2005 at 11:07:51AM +1100, Simon Burge wrote:
  | > > Steve Rumble wrote:
  | > >=20
  | > > > On Mon, Jan 24, 2005 at 08:02:16AM +0900, YAMAMOTO Takashi wrote:
  | > > >
  | > > > > is there any point to install this file into /usr/include?
  | > > >=20
  | > > > I don't know. I assumed that it was standard practice as all of
  | > > > the other headers are included, whether they appear useful from
  | > > > userland or not.
  | > >=20
  | > > I think we should be working the other way, and not polluting
  | > > /usr/include with stuff that will never be used by a userland
  | > > program.
  | >=20
  | > So, no objections to reverting this?=20
  |=20
  | Not at all.  The usual process is that when you remove a header file
  | you mark it as obsolete in the set list.  Maybe a short enough time
  | has transpired that we can just remove it altogether?

Actually, no.  It wasn't short enough.  I've fixed this properly.

Cheers,
Luke.

--UiQbhG36sksrFEkN
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (NetBSD)

iD8DBQFB9J5JpBhtmn8zJHIRAg5DAKDCFHlVjoBzEBav3Esc2wJF87uycQCdHctc
vXZFKX/t1mOk8X9l/IZlnTM=
=m0nw
-----END PGP SIGNATURE-----

--UiQbhG36sksrFEkN--