mirror of https://github.com/postgres/postgres
The reasons behind commitpull/14/head0d147e43ad
still stand, so this reverts the non-cosmetic portion of commita7983e989d
. Back-patch to 9.4, where the latter commit first appeared.
parent
67a4120494
commit
00c07e497f
Loading…
Reference in new issue