[gcc(refs/vendors/redhat/heads/gcc-8-branch)] Daily bump.

[Jakub Jelinek]

https://gcc.gnu.org/g:0799ba3eb3daf10eb85a0b6335f9e7627d8a06ef

commit 0799ba3eb3daf10eb85a0b6335f9e7627d8a06ef
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat May 16 00:17:19 2020 +0000

    Daily bump.

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

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 996d73f1867..c4c2f91fd71 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200515
+20200516