From 73a8fbdfb5ffbbe219ab270875f98999f3fb146c Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Mon, 21 Jul 2025 13:42:07 +0200
Subject: [PATCH] make-binaries: Re-add executable bit

---
 tools/make-binaries | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/make-binaries

diff --git a/tools/make-binaries b/tools/make-binaries
old mode 100644
new mode 100755