diff --git a/revision.txt b/revision.txt
index 45a4fb75..ec635144 100644
--- a/revision.txt
+++ b/revision.txt
@@ -1 +1 @@
-8
+9