diff options
| author | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-05-15 00:16:27 +0000 |
|---|---|---|
| committer | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-05-15 00:16:27 +0000 |
| commit | bb547959cfa74f1d74d9ddc9f12f03bdc97ea073 (patch) | |
| tree | 56ef06fff0143d8fa38c822c33e4152de5f613f4 | |
| parent | bc80a65fc1b29d3d3770e569cb68706711c48187 (diff) | |
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@260248 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 ef0f19a092a9..6369f766a69a 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20180514 +20180515 |