mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-10 05:37:30 +08:00
Evidently somebody neglected to update this sometime in the v10 cycle. Patching REL_10_STABLE only; this value is about to be obsolete in HEAD anyway. Noted while examining \gdesc patch.