diff --git dev-support/test-patch.sh dev-support/test-patch.sh old mode 100644 new mode 100755