[gcc r8-10382] Daily bump.

[GCC Administrator]

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

commit r8-10382-gda01a92da503c123b532051cb34ba040a76dceff
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Fri Jul 31 00:17:34 2020 +0000

    Daily bump.

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

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 35e844018cf..675c0b9e6b0 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200730
+20200731