diff options
| author | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-05-13 00:16:55 +0000 |
|---|---|---|
| committer | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-05-13 00:16:55 +0000 |
| commit | ec139a3ff0b7ecae561a52ce307fa631593200c7 (patch) | |
| tree | 03c2877b75c7cb318b40c8f7a0cfa2755c3bbaea | |
| parent | c864b82f7e5401f1f2488d2d27d6b6180bc1af89 (diff) | |
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@260205 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 0c1eff3cf91b..bdfe82731399 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20180512 +20180513 |