# HG changeset patch
# User HackBot
# Date 1457978358 0
# Node ID 72286b6269096b2ca04883277695dd3dcaa3d1f1
# Parent  7e7c4faeeaac0d19f0c3d3e30c2c1d164161e150
<shachaf> ` echo shachaf >> bin/aglist

diff -r 7e7c4faeeaac -r 72286b626909 bin/aglist
--- a/bin/aglist	Mon Mar 14 17:54:34 2016 +0000
+++ b/bin/aglist	Mon Mar 14 17:59:18 2016 +0000
@@ -1,2 +1,3 @@
 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit
 b_jonas
+shachaf