On August 18, 2018 10:52:33 AM GMT+09:00, Tom Lane <t...@sss.pgh.pa.us> wrote: > I think it probably needs to stay documented, but we could mark it as > deprecated ... Okay, no issues with doing so. -- Michael
- Fix help option of contrib/oid2name Tatsuro Yamada
- Re: Fix help option of contrib/oid2name Laurenz Albe
- Re: Fix help option of contrib/oid2name Michael Paquier
- Re: Fix help option of contrib/oid2name Michael Paquier
- Re: Fix help option of contrib/oid2name Tatsuro Yamada
- Re: Fix help option of contrib/oid2n... Tatsuro Yamada
- Re: Fix help option of contrib/o... Alvaro Herrera
- Re: Fix help option of contr... Tom Lane
- Re: Fix help option of contr... Michael Paquier
- Re: Fix help option of contr... Tom Lane
- Re: Fix help option of contr... Michael Paquier
- Re: Fix help option of contr... Tatsuro Yamada
- Re: Fix help option of contr... Michael Paquier
- Re: Fix help option of contr... Tatsuro Yamada
- Re: Fix help option of contr... Michael Paquier
- Re: Fix help option of contr... Tatsuro Yamada
- Re: Fix help option of contr... Michael Paquier
- Re: Fix help option of contr... Tatsuro Yamada
- Re: Fix help option of contr... Tatsuro Yamada
- Re: Fix help option of contr... Tatsuro Yamada
- Re: Fix help option of contr... Michael Paquier