diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 0989d23cbee3..f16969442a6c 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20130730
+20130731