diff --git a/REVISION b/REVISION
new file mode 100644
index 00000000..cc9ac656
--- /dev/null
+++ b/REVISION
@@ -0,0 +1 @@
+40ae0cc29c936c2a90d93bcf9d612d6d3b5b043f
\ No newline at end of file