diff options
author | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-07-20 00:16:12 +0000 |
---|---|---|
committer | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-07-20 00:16:12 +0000 |
commit | 4b9d5187da4165679231a4dfe7639d1965e4fa27 (patch) | |
tree | f5627e31c5e6a310ab5d96495032321ae0657a9c | |
parent | 66851b5e19300949c520c4c4d587ea693131c309 (diff) |
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-8-branch@262896 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r-- | gcc/DATESTAMP | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index b3e9d4dd190d..c23adab70b47 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20180719 +20180720 |