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

[Michael Albinus]

Vladimir Kazanov <vekazanov@gmail.com> 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.