mirror of
https://github.com/postgres/postgres.git
synced 2025-07-30 11:03:19 +03:00
Fix configure executable permissions.
I do not [yet] understand how, but my prior commit (089480c077
) accidentally
removed the exec bit from configure. I'll try to figure that out later, for
now re-add to unbreak the buildfarm.
This commit is contained in: