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

Reply via email to