[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#67621: [PATCH] documentation for ert-font-lock
|
From: |
Michael Albinus |
|
Subject: |
bug#67621: [PATCH] documentation for ert-font-lock |
|
Date: |
Mon, 04 Dec 2023 16:15:59 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
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.