|
From: | Stefan Kangas |
Subject: | bug#9432: 24.0.50; doc string of `next-error-highlight' |
Date: | Thu, 13 Jun 2019 15:07:29 +0200 |
Eli Zaretskii <eliz@gnu.org> writes: > > No update in three years. Does anyone object to closing it? > > Time to close, indeed. The original issue was solved long ago. Done.
[Prev in Thread] | Current Thread | [Next in Thread] |