[gcc/devel/omp/gcc-9] Daily bump.

[Tobias Burnus]

https://gcc.gnu.org/g:7d3a63a26d1a9c4413d37e949d6607a955cc5c3e

commit 7d3a63a26d1a9c4413d37e949d6607a955cc5c3e
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Mon May 13 00:16:19 2019 +0000

    Daily bump.
    
    From-SVN: r271114

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

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index cde0901..8f70fa8 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20190512
+20190513