On 7/19/19 12:51 AM, Daniel Gustafsson wrote:
>> 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.
To me it looks like a minor documentation correction to fix an omission
from a patch already in PostgreSQL.
Regards
Ian Barwick
--
Ian Barwick https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services