Subject: bug#67621: [PATCH] documentation for ert-font-lock

From: Michael Albinus <[email-masked]>
Date: Fri, 08 Dec 2023 14:56:20 +0100

Vladimir Kazanov <[email-masked]> writes:

> Hi Michael,

Hi Vlad,

> It seems that there are no objections to the documentation update.
> Should we add it, or do you have any other worthwhile additions in
> mind?

Usually, we give people a week or so for comments. Some of them, like
the maintainers, are very busy.

However, I have already scheduled to push your patch later this weekend
(which is less than a week). I don't expect serious objections.

> Thank you,
> Vlad

Best regards, Michael.