diff --git a/[refs] b/[refs]
index d81086cd7df2..204acbd657ef 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1f27d87ba57cfeee6e58797011cb082d65b70815
+refs/heads/master: e11f9a17b0c037bb627628ce4b45897e0797c479
diff --git a/trunk/vm/00-INDEX b/trunk/Documentation/vm/00-INDEX
similarity index 100%
rename from trunk/vm/00-INDEX
rename to trunk/Documentation/vm/00-INDEX