Thank you both for the explanations and the link to the discussion of
Pavel's patches.
Marcelo Zabani writes:
> Hi, according to the docs, RESET sets the value of a setting to
> "The default value is defined as the value that the parameter would have
> had, if no SET had ever been issued for it in the current session"
This is, I guess, strictly true only for built-in settings.
Cust
On Saturday, October 19, 2024, Marcelo Zabani wrote:
> Hi, according to the docs, RESET sets the value of a setting to
> "The default value is defined as the value that the parameter would have
> had, if no SET had ever been issued for it in the current session"
>
> Which confuses me given that t
Hi, according to the docs, RESET sets the value of a setting to
"The default value is defined as the value that the parameter would have
had, if no SET had ever been issued for it in the current session"
Which confuses me given that the value starts being NULL in the session and
then turns into an
