On Fri, Jul 19, 2019 at 09:04:03AM +0900, Ian Barwick wrote:
> To me it looks like a minor documentation correction to fix an omission
> from a patch already in PostgreSQL.
I think that it is better to register it in the commit fest anyway so
as we don't lose track of it. Things tend to get lost
On 7/19/19 12:51 AM, Daniel Gustafsson wrote:
On 18 Jul 2019, at 17:46, Daniel Westermann (DWE)
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 conte
> On 18 Jul 2019, at 17:46, Daniel Westermann (DWE)
> 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
