[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to set friendly name for "$end"?
|
From: |
Simon Richter |
|
Subject: |
Re: How to set friendly name for "$end"? |
|
Date: |
Fri, 6 May 2022 23:31:55 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 |
Hi,
On 5/6/22 11:12 AM, Szabolcs Horvát wrote:
This does indeed work in all versions, including 2.3. But it is
unclear to me if it is safe. Is it guaranteed that $end corresponds to
0?
To my knowledge, that is documented behaviour, yes.
Simon
OpenPGP_signature
Description: OpenPGP digital signature