diff options
| author | Andres Freund | 2022-07-18 01:41:32 +0000 |
|---|---|---|
| committer | Andres Freund | 2022-07-18 01:41:32 +0000 |
| commit | 5050fe5458d16387728c0dd13eee9517fe4bce13 (patch) | |
| tree | 15094e0b7cca262043d26561cf9883b1dfee1f68 | |
| parent | 089480c077056fc20fa8d8f5a3032a9dcf5ed812 (diff) | |
Fix configure executable permissions.
I do not [yet] understand how, but my prior commit (089480c0770) accidentally
removed the exec bit from configure. I'll try to figure that out later, for
now re-add to unbreak the buildfarm.
| -rwxr-xr-x[-rw-r--r--] | configure | 0 |
1 files changed, 0 insertions, 0 deletions