# HG changeset patch
# User HackBot
# Date 1494282521 0
# Node ID 3ad718f85672fb69f12ada9f9b21d92d7c5383b8
# Parent  d0ddbe309cabfb8f8e2b8e413138f189cc48ba07
<shachaf> mkx bin/test//kill -9 $$

diff -r d0ddbe309cab -r 3ad718f85672 bin/test
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/test	Mon May 08 22:28:41 2017 +0000
@@ -0,0 +1,1 @@
+kill -9 $$