[gcc/devel/ranger] Daily bump.

[Aldy Hernandez]

https://gcc.gnu.org/g:f3043feb1b278586b5dcf357a893e3ab57b1e51d

commit f3043feb1b278586b5dcf357a893e3ab57b1e51d
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri May 1 00:16:17 2020 +0000

    Daily bump.

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

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 6be87a3be11..577a56c4845 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200430
+20200501