diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index d81b0a069b8c..a0141d16756e 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20130708
+20130709