|
From: | Michael Albinus |
Subject: | bug#67621: [PATCH] documentation for ert-font-lock |
Date: | Sat, 09 Dec 2023 10:29:03 +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. Pushed to the master branch. > Vlad Best regards, Michael.
[Prev in Thread] | Current Thread | [Next in Thread] |