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

From: Michael Albinus <[email-masked]>
Date: Sat, 09 Dec 2023 10:29:03 +0100

Vladimir Kazanov <[email-masked]> writes:

> Michael,

Hi Vlad,

> Thanks a lot! Here's the fixed patch.

Pushed to the master branch.

> Vlad

Best regards, Michael.