From 6a78546707760d98475a6ecc0985ad234a3cfc2d Mon Sep 17 00:00:00 2001
From: Gregor <HHHartmann@users.noreply.github.com>
Date: Fri, 12 Jul 2019 21:57:16 +0200
Subject: [PATCH] update file permission

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

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