On 30/12/2018 22:56, Tom Lane wrote:
This comment needs copy-editing:

+         * If the user hits interrupts the startup (e.g. with CTRL-C), we'd

Looks good otherwise.

Thanks, fixed that, and pushed.

- Heikki


Reply via email to