mirror of
https://github.com/postgres/postgres.git
synced 2025-08-31 17:02:12 +03:00
We used to be consistent about this, but my recent patch to add a restart_after_crash GUC failed to follow the existing convention. Report and patch from Fujii Masao.