mirror of
https://github.com/postgres/postgres.git
synced 2026-06-07 16:18:57 -04:00
374fe86a8f
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