>>>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:

Paul> Thanks for the suggestion.  How about the following patch
Paul> instead?  I tried to tighten up the wording a bit.

Please, install!  And don't hesitate putting more of your knowledge
into that section :)

Reply via email to