From 90daccb2a67d0da6b7e2ef73bb9db5e17a3f5879 Mon Sep 17 00:00:00 2001
From: Zachary Yedidia <zyedidia@gmail.com>
Date: Fri, 26 Aug 2016 20:56:41 -0400
Subject: [PATCH] Update

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

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