|
From: | Dmitry Gutov |
Subject: | bug#68570: 29.1; recompile might not re-use project-compile's buffer |
Date: | Sun, 21 Jan 2024 07:09:31 +0200 |
User-agent: | Mozilla Thunderbird |
On 18/01/2024 18:17, Jörg Bornemann wrote:
Although I'm thinking by now that it might be more consistent to have a separate project-recompile command in addition torecompile.
I've pushed to master a new command called that (commit 0a07603ae8d), like discussed on the mailing list.
Not sure if we should close this report now, or perhaps keep it open to discuss the security issue.
[Prev in Thread] | Current Thread | [Next in Thread] |