# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1291398046 28800
# Node ID a8e337ba89d36db0f7b32ce3f5ea3b0ace89d128
# Parent  699c168836445e8da312b0ea8f20422775a6ff4b
Restore another execute-bit.

diff -r 699c16883644 -r a8e337ba89d3 make-dist