# HG changeset patch
# User HackBot
# Date 1397954755 0
# Node ID 12187f01893f4eb77b644f9a8aae38f50dca1fca
# Parent  aca3e93dfaf3b920a1b845780a0d05a0390557c8
<oerjan> chmod +x paste.2

diff -r aca3e93dfaf3 -r 12187f01893f paste.2