# HG changeset patch
# User HackBot
# Date 1378918551 0
# Node ID 0318e0bc854c544f60af3af3ae7708128b1738eb
# Parent  581a188e22df24620ca7435300667e2461fe4741
<oerjan> revert

diff -r 581a188e22df -r 0318e0bc854c bin/`
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/`	Wed Sep 11 16:55:51 2013 +0000
@@ -0,0 +1,4 @@
+exec "$@"
+exec bash -c "$@"
+exec bash -c "$*"
+exec $*