From 7b7397a8c7300a1ba1331a3c8fb5383bb0020eb9 Mon Sep 17 00:00:00 2001
From: ThomasV <thomasv@electrum.org>
Date: Wed, 3 Jul 2019 16:20:40 +0200
Subject: [PATCH] chmod push_locale

---
 contrib/push_locale | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 contrib/push_locale

diff --git a/contrib/push_locale b/contrib/push_locale
old mode 100644
new mode 100755