> On 18 Jul 2019, at 17:46, Daniel Westermann (DWE) <daniel.westermann@dbi-services.com> wrote:
>
>>> The suggested change pares down the "Tip" to more of a brief "Note", which IMHO is a bit
>>> terse for that section of the documentation (which has more of a tutorial character),
>>> and the contents of the original tip basically still apply for volatile default values
>>> anyway.
>>>
>>> I've attached another suggestion for rewording this which should also make the
>>> mechanics of the operation a little clearer.
>
>> Thank you, that better explains it. Looks good to me.
>
> Shouldn't we add that to the current commit fest?
The current commitfest is closed for new additions, but please add it to the
next one (2019-09) and it will be picked up then.
cheers ./daniel