mirror of
https://github.com/postgres/postgres.git
synced 2025-05-29 16:21:20 +03:00
Keeping all those entries in order helps the user looking at the documentation in finding them. Author: Michael Paquier, Kuntal Ghosh Discussion: https://postgr.es/m/20181024002539.GI1658@paquier.xy