|
| 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] |