[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#9432: 24.0.50; doc string of `next-error-highlight'
From: |
Eli Zaretskii |
Subject: |
bug#9432: 24.0.50; doc string of `next-error-highlight' |
Date: |
Thu, 13 Jun 2019 15:44:09 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Thu, 13 Jun 2019 13:26:04 +0200
> Cc: Lars Ingebrigtsen <larsi@gnus.org>,
> Stefan Monnier <monnier@iro.umontreal.ca>
>
> Lars Ingebrigtsen <larsi@gnus.org> writes:
> > Has whatever this bug report is talking about been fixed now?
>
> No update in three years. Does anyone object to closing it?
Time to close, indeed. The original issue was solved long ago.