Thanks, I've applied these changes. In future, please refrain from
gratuitous editting of comments. Fixing typos or errors is a good thing,
and changing comments to be more informative is fine. But trivial changes
to punctuation and phraseology don't really add anything and they clutter
up your patches when I'm trying to read through the meaningful changes.
Anyway, most of the time I prefer the original wording to your different
choices of prepositions and so forth.
_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd
