mirror of https://github.com/postgres/postgres
This is no longer necessary, and might result in a situation where the configuration file is reloaded (and everything seems OK) but a subsequent restart of the database fails. Per an observation from Fujii Masao.pull/1/head
parent
b98ac467f5
commit
19584ec659
Loading…
Reference in new issue