|
From: | Ludovic Courtès |
Subject: | bug#36014: [PATCH] Attempt to use console-fonts not provided by kbd if they are installed |
Date: | Thu, 22 Aug 2019 18:00:00 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.2 (gnu/linux) |
Hello, John Soo <address@hidden> skribis: > I am not familiar with the info and html documentation build process. Will > this patch suffice? Sure; I pushed a slightly modified variant as commit 74a98b5cddd0430dd7229d4045f4885191c624b7. Thanks, Ludo’.
[Prev in Thread] | Current Thread | [Next in Thread] |