Re: Fix help option of contrib/oid2name - Mailing list pgsql-hackers

From Tatsuro Yamada
Subject Re: Fix help option of contrib/oid2name
Date
Msg-id 2c3d4548-1535-7b9d-a1a3-b749840745d9@lab.ntt.co.jp
Whole thread Raw
In response to Re: Fix help option of contrib/oid2name  (Michael Paquier <michael@paquier.xyz>)
Responses Re: Fix help option of contrib/oid2name
List 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





pgsql-hackers by date:

Previous
From: Yugo Nagata
Date:
Subject: Re: has_table_privilege for a table in unprivileged schema causesan error
Next
From: Mathias Brossard
Date:
Subject: Re: ToDo: show size of partitioned table