Re: Fix help option of contrib/oid2name

From: Tatsuro Yamada <yamada(dot)tatsuro(at)lab(dot)ntt(dot)co(dot)jp>
To: Michael Paquier <michael(at)paquier(dot)xyz>, Laurenz Albe <laurenz(dot)albe(at)cybertec(dot)at>
Cc: pgsql-hackers(at)postgresql(dot)org
Subject: Re: Fix help option of contrib/oid2name
Date: 2018-08-17 03:19:42
Message-ID: 2c3d4548-1535-7b9d-a1a3-b749840745d9@lab.ntt.co.jp
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

Hi Laurenz and Michael,

On 2018/08/16 20:57, Michael Paquier wrote:
> On Thu, Aug 16, 2018 at 12:40:42PM +0200, Laurenz Albe wrote:
>> I don't think it is super important, but +1 for consistency.

Thanks! :)

> I agree on both points. Any objections if I apply what's proposed here
> on HEAD?

I have no objection. The patch is for improvement, not bug fix.
But if you think it needs back-patch, please let me know, I can create it.

Thank you for taking your time!

Regards,
Tatsuro Yamada
NTT Open Source Software Center

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Mathias Brossard 2018-08-17 03:26:19 Re: ToDo: show size of partitioned table
Previous Message Yugo Nagata 2018-08-17 03:02:57 Re: has_table_privilege for a table in unprivileged schema causes an error