|
| From: | Gregory Heytings |
| Subject: | Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
| Date: | Thu, 26 Oct 2023 10:31:13 +0000 |
Are there any other opinions? For now, the opinions are 5:3 in favor of keeping the pre-7.1 behavior of producing Unicode characters
FWIW, I'm in favor of using the new behavior.
| [Prev in Thread] | Current Thread | [Next in Thread] |