Re: Fix help option of contrib/oid2name

Поиск
Список
Период
Сортировка
От Michael Paquier
Тема Re: Fix help option of contrib/oid2name
Дата
Msg-id 20180816115757.GO3681@paquier.xyz
обсуждение исходный текст
Ответ на Re: Fix help option of contrib/oid2name  (Laurenz Albe <laurenz.albe@cybertec.at>)
Ответы Re: Fix help option of contrib/oid2name
Re: Fix help option of contrib/oid2name
Список pgsql-hackers
Дерево обсуждения 
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.

I agree on both points.  Any objections if I apply what's proposed here
on HEAD?
--
Michael
Вложения

В списке pgsql-hackers по дате отправления: