diff --git a/REVISION b/REVISION
index 4e686e66..537cbfca 100644
--- a/REVISION
+++ b/REVISION
@@ -1 +1 @@
-aba60c46cdfe657144cd411b7c3f4bd81826299b
\ No newline at end of file
+9aa986744abad7ddb4101b123f4189e5e8efc51e
\ No newline at end of file