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

From: Vladimir Kazanov <[email-masked]>
Date: Fri, 8 Dec 2023 13:47:59 +0000

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 <[email-masked]> wrote:
>
> Vladimir Kazanov <[email-masked]> 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