|
From: | Stefan Kangas |
Subject: | bug#65762: [PATCH] ; Fix error in 'tex-recenter-output-buffer' |
Date: | Wed, 6 Sep 2023 09:51:02 -0700 |
Version: 30.1 martin rudalics <rudalics@gmx.at> writes: >> Martin, any further comments? > > The patch looks good and should be applied. Thanks, installed on master as commit ba7690c230a. Closing.
[Prev in Thread] | Current Thread | [Next in Thread] |