diff --git a/[refs] b/[refs]
index 80b9449d1dbd..e9289d17fb28 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: d39a206bc35d46a3b2eb98cd4f34e340d5e56a50
+refs/heads/master: 71378be91f5473e89c8be170c6e49edda3bdbb67
diff --git a/trunk/scripts/bloat-o-meter b/trunk/scripts/bloat-o-meter
old mode 100644
new mode 100755
diff --git a/trunk/scripts/checkstack.pl b/trunk/scripts/checkstack.pl
old mode 100644
new mode 100755
diff --git a/trunk/scripts/namespace.pl b/trunk/scripts/namespace.pl
old mode 100644
new mode 100755
diff --git a/trunk/scripts/show_delta b/trunk/scripts/show_delta
old mode 100644
new mode 100755