diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index dc19a9cf018..576d8616a6d 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20140511
+20140512