[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38817: 27.0.50; eintr file name discrepency in HTML
|
From: |
Andreas Schwab |
|
Subject: |
bug#38817: 27.0.50; eintr file name discrepency in HTML |
|
Date: |
Wed, 09 Dec 2020 17:14:58 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
On Dez 09 2020, Lars Ingebrigtsen wrote:
> If nobody objects within unreasonable time, I'll change the target back
> to eintr.html
The name eintr.html has never been used.
Andreas.
--
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1
"And now for something completely different."