From d132205241f84bbb6fa31fa2db6abe40fadff6fb Mon Sep 17 00:00:00 2001
From: kjeld Schouten-Lebbing <kjeld@schouten-lebbing.nl>
Date: Sat, 7 May 2022 10:22:12 +0200
Subject: [PATCH] make bump executable

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

diff --git a/tools/bump.sh b/tools/bump.sh
old mode 100644
new mode 100755