From 5050fe5458d16387728c0dd13eee9517fe4bce13 Mon Sep 17 00:00:00 2001 From: Andres Freund Date: Sun, 17 Jul 2022 18:41:32 -0700 Subject: [PATCH] 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. --- configure | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 configure diff --git a/configure b/configure old mode 100644 new mode 100755