diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-05-18 00:17:45 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-05-18 00:17:45 +0000 |
| commit | e8dcd6c79335997a80f75db389263b63dfa45ca1 (patch) | |
| tree | 71767fa5b792efea39fb9106ba0052624dc22202 | |
| parent | 80cefde6212c3de603dda46d05123a750b378ff2 (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 a4634f14410..5b6c5c3863b 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200517 +20200518 |