On Sun, Jun 18, 2017 at 6:59 PM, Andrew Gierth
<andrew@tao11.riddles.org.uk> wrote:
> (Any preferences for whether it should be one commit or 3 separate ones?)
If I were doing it, I would commit them separately.
But I'm not doing it, so I won't complain about what you decide to do.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company