[gcc(refs/users/marxin/heads/marxin-gcc-benchmark-branch)] Daily bump.

[Martin Liska]

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

commit fc7c3d13a8988f765b93a6556caee3ed376d1216
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Thu Feb 13 00:16:35 2020 +0000

    Daily bump.

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

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 4e6ffc72737..829a02a2abe 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20200212
+20200213