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

Paul> Here's one little nit in the documentation that I noticed just
Paul> after 2.52 was released.  (Can I claim the honor of sending the
Paul> first bug report and fix?  :-)

I'd say so :)  Thanks, applied!

Reply via email to