From b8f8f77f60cee903329188457582bbec9b4cf5c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-No=C3=ABl=20Grad?= <jgrad@icp.uni-stuttgart.de>
Date: Tue, 1 Oct 2019 10:21:02 +0200
Subject: [PATCH] Add executable permissions on maintainer scripts

---
 maintainer/add_missing_headers.sh              | 0
 maintainer/find_potentially_missing_authors.sh | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 maintainer/add_missing_headers.sh
 mode change 100644 => 100755 maintainer/find_potentially_missing_authors.sh

diff --git a/maintainer/add_missing_headers.sh b/maintainer/add_missing_headers.sh
old mode 100644
new mode 100755
diff --git a/maintainer/find_potentially_missing_authors.sh b/maintainer/find_potentially_missing_authors.sh
old mode 100644
new mode 100755