diff options
| author | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-07-19 00:16:13 +0000 |
|---|---|---|
| committer | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-07-19 00:16:13 +0000 |
| commit | 393853f0b7fa66099614604aedb8f2aaa2ad73d1 (patch) | |
| tree | 0af2e9a0b086fbe32c17d4e2a7e43e64187aaa82 | |
| parent | 8a2be2d3449853455a4484707e20d522cf82fdac (diff) | |
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-8-branch@262869 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 eca9733953cf..b3e9d4dd190d 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20180718 +20180719 |