mirror of
https://github.com/postgres/postgres.git
synced 2026-06-23 09:01:01 -04:00
aa9642acb9
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