On Thu, Jul 27, 2017 at 5:20 PM, Thomas Munro
<thomas(dot)munro(at)enterprisedb(dot)com> wrote:
> Agreed. Here's a version that skips those useless detail messages
> using a coding pattern I found elsewhere.
Rebased after bf6b9e94.
--
Thomas Munro
http://www.enterprisedb.com