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

From: Michael Albinus <[email-masked]>
Date: Mon, 04 Dec 2023 16:15:59 +0100

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.