diff --git a/contrib/diffpatch.sh b/contrib/diffpatch.sh old mode 100644 new mode 100755