Subject: Re: bug#32150: Acknowledgement (Suggested Texinfo Source Corrections)

From: Mathieu Lirzin <[email-masked]>
Date: Tue, 23 Oct 2018 21:01:48 +0200

Hello Paul,

Paul Hardy <[email-masked]> writes:

> I had made my corrections on a hard copy and then entered them into
> the computer.  There were two typos that I remembered seeing when I
> read the document but didn't recall entering yesterday, and indeed I
> had not entered them.  Here they are.

Both patches were applied in commit 6624f88b2ea685e5c44c7373d01df488d1dabd19.

Thanks.

-- 
Mathieu Lirzin
GPG: F2A3 8D7E EB2B 6640 5761  070D 0ADE E100 9460 4D37