diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-05-15 00:17:56 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-05-15 00:17:56 +0000 |
| commit | aa237c6dceeeab1455d83a9063ab87afb4a18082 (patch) | |
| tree | ed4de13d40c8fdcab2e0909a0715a202a3915de5 | |
| parent | 9a1b74d49e2e25b29675fac4322bb7ba6cec5894 (diff) | |
Daily bump.
| -rw-r--r-- | gcc/DATESTAMP | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 307f2b18da7..996d73f1867 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200514 +20200515 |