# HG changeset patch
# User hackbot
# Date 1621786335 0
# Node ID 17cdada13cb7c6f83f8bce73c4c39ca886f5034a
# Parent  648be6279e23dad2208827b9d0ee9595d6e107db
<\a> ` chmod +x /hackenv/bin/mkinfo

diff -r 648be6279e23 -r 17cdada13cb7 bin/mkinfo