On Thu, Apr 19, 2001 at 10:23:02AM -0700, Jens Schweikhardt wrote:
> I just wanted to close http://www.freebsd.org/cgi/query-pr.cgi?pr=25030
> by frobbing NOTES. While 4.2-R LINT has option USER_LDT, NOTES doesn't
> have it anymore. Can anybody clue me in why it disappeared? Can I simply
> resurrect it?
Because peter eliminated it by making the relevant code mandatory about
2 months ago. Check out the cvs logs for NOTES.
> BTW, is this the right list to ask such a question?
Nope. current@ would be.