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

[Vladimir Kazanov]

Hi Michael,

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?

Thank you,
Vlad

On Mon, 4 Dec 2023 at 15:16, Michael Albinus <michael.albinus@gmx.de> wrote:
>
> Vladimir Kazanov <vekazanov@gmail.com> writes:
>
> > Michael,
>
> Hi Vlad,
>
> > Thanks a lot! Here's the fixed patch.
>
> Fine. Let's wait for a couple of days, and if nobody objects, I'll push
> it for you.
>
> > Vlad
>
> Best regards, Michael.



-- 
Regards,

Vladimir Kazanov