# HG changeset patch
# User HackBot
# Date 1434705084 0
# Node ID a5343da0101d294bba77d2464b53e4f24ed9b2ad
# Parent  a133ff1d3b55aef3f1e39f5002f8cf7f34ee4489
<b_jonas> `` sed -i \'s/;.*1"/; exec bash -c "$@"/\' \'bin/``\' # doesn\'t matter much, but can\'t hurt

diff -r a133ff1d3b55 -r a5343da0101d bin/``
--- a/bin/``	Thu Jun 18 21:03:24 2015 +0000
+++ b/bin/``	Fri Jun 19 09:11:24 2015 +0000
@@ -1,1 +1,1 @@
-export LANG=C; bash -c "$1"
+export LANG=C; exec bash -c "$@"