From f43df5482b7c7edc6bc161a63f505e88f05a9c06 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Mon, 10 Feb 2020 16:44:09 +0100
Subject: [PATCH] Fix shebangs in scripts

---
 scripts/fetch_version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/fetch_version b/scripts/fetch_version
index a0325f63..5c4715a2 100755
--- a/scripts/fetch_version
+++ b/scripts/fetch_version
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 usage() {
   echo "$0 file.json"
-- 
2.41.0