diff --git a/RELEASE b/RELEASE
index 0848bc4e6..f192cc354 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-0.9.6 rev 6716
+0.9.6 rev 6717