[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25406: 24.5; doc string of `Info-history'
From: |
Eli Zaretskii |
Subject: |
bug#25406: 24.5; doc string of `Info-history' |
Date: |
Fri, 05 Jul 2019 15:38:51 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Fri, 5 Jul 2019 14:17:39 +0200
> Cc: Drew Adams <drew.adams@oracle.com>, 25406@debbugs.gnu.org
>
> It seems to me that the conclusion here is to do nothing. Can we close
> this bug report or am I missing something?
I'm fine with closing it.