Subject: Re: bug#40671: [DOC] modify literal objects

From: Michael Heerdegen <[email-masked]>
Date: Wed, 13 May 2020 07:05:18 +0200

Richard Stallman <[email-masked]> writes:

> When you found them, did you fix them?

Paul has already proposed a patch, I guess he will install it later
(maybe after caring about the remarks by Noam and me).

Michael.