Re: Fix help option of contrib/oid2name

Fri, 17 Aug 2018 19:08:06 -0700 


On August 18, 2018 10:52:33 AM GMT+09:00, Tom Lane <[email protected]> wrote:
> I think it probably needs to stay documented, but we could mark it as
> deprecated ...

Okay, no issues with doing so.

-- 
Michael























					Reply via email to