Re-run autoconf
Some of the last-minute changes in commit f0f2c0c1aef were apparently
not captured.
Branch
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/4b6fa00a3a91714ed19fed667abdcb5eeee69f77
Modified Files
--------------
configure | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)