|
From: | martin rudalics |
Subject: | bug#65762: [PATCH] ; Fix error in 'tex-recenter-output-buffer' |
Date: | Wed, 6 Sep 2023 18:21:18 +0200 |
> Martin, any further comments? The patch looks good and should be applied. martin
[Prev in Thread] | Current Thread | [Next in Thread] |