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
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