> Gordon made the suggestion that we change *_OS to *_KERNEL, because OS is a > vague term in this context, and kernel fits the bill better (we have > GNU/Linux OS and GNU/Hurd OS, but linux and gnu kernel). > > Jules, if you are fine with this, I will make the small chnage without > further formal procedures (mainly because I am too lazy to look up the > correct process in the meta-policy document). Please let me know.
Change seconded again. (Or I second the suitably revised proposal, as appropriate). Jules /----------------+-------------------------------+---------------------\ | Jelibean aka | [EMAIL PROTECTED] | 6 Evelyn Rd | | Jules aka | [EMAIL PROTECTED] | Richmond, Surrey | | Julian Bean | [EMAIL PROTECTED] | TW9 2TF *UK* | +----------------+-------------------------------+---------------------+ | War doesn't demonstrate who's right... just who's left. | | When privacy is outlawed... only the outlaws have privacy. | \----------------------------------------------------------------------/
