Subject: Re: Since we're on the subject, my pet PRs
To: Dave Huang <>
From: D'Arcy J.M. Cain <>
List: tech-userlevel
Date: 03/15/2003 05:14:02
On Saturday 15 March 2003 03:23, Dave Huang wrote:
> Since we're mentioning PRs with patches that should be trivial to close,
> here are a few of mine:
> bin/5419: from May 8 1998... it was actually looked at in 2000, but
>  nothing since then.
> bin/5310: I don't know if this is even still applicable, since we've
>  upgraded pppd since then... feel free to close it.

I have closed both of these.

> install/14797: Okay, there's not actually a patch... do I really need to
>  send one? It's just some minor documentation changes.

Can you tell me the file or the URL where you saw this please.

> kern/17369: This was fixed months ago, and I've sent feedback, but the
>  PR is still in the feedback state.

Closed by Jaromir Dolecek this morning.

D'Arcy J.M. Cain <>