From d7ff81e0d0f1d82bfd3d2be7d0fac55b1ece25b3 Mon Sep 17 00:00:00 2001
From: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Wed, 13 May 2020 00:16:55 +0000
Subject: [PATCH] Daily bump.

---
 gcc/DATESTAMP | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 10771293e10c..aa5d21b148ba 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200512
+20200513
-- 
2.47.2