From 2b15b87c0ff122ecec07d783d55e368eedf04e46 Mon Sep 17 00:00:00 2001
From: Jonathan Cobb <jonathan@kyuss.org>
Date: Sun, 20 Sep 2020 11:28:51 -0400
Subject: [PATCH] chmod a+rx dist_jenkins

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

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