Re: Fix help option of contrib/oid2name

Поиск
Список
Период
Сортировка
От Tatsuro Yamada
Тема Re: Fix help option of contrib/oid2name
Дата
Msg-id 2c3d4548-1535-7b9d-a1a3-b749840745d9@lab.ntt.co.jp
обсуждение исходный текст
Ответ на Re: Fix help option of contrib/oid2name  (Michael Paquier <michael@paquier.xyz>)
Ответы Re: Fix help option of contrib/oid2name  (Michael Paquier <michael@paquier.xyz>)
Список 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 по дате отправления:

Предыдущее
От: Yugo Nagata
Дата:
Сообщение: Re: has_table_privilege for a table in unprivileged schema causesan error
Следующее
От: Mathias Brossard
Дата:
Сообщение: Re: ToDo: show size of partitioned table