> On 18 Jul 2019, at 17:46, Daniel Westermann (DWE) > <daniel.westerm...@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
