[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: integer-width
|
From: |
Eli Zaretskii |
|
Subject: |
Re: integer-width |
|
Date: |
Wed, 29 Aug 2018 07:47:11 +0300 |
|
User-agent: |
K-9 Mail for Android |
On August 29, 2018 6:44:15 AM GMT+03:00, Stefan Monnier <address@hidden> wrote:
>
> I see integer-width is set to 65536, and NEWS mentions this var and
> what
> is its effect, but I can't find any documentation for the reason
> behind
> the existence of this variable nor the choice of its default value.
The reason for the existence of this variable is explicitly explained
in the NEWS entry. I'm not sure I understand how you missed it.