diff options
| author | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-05-14 00:16:30 +0000 |
|---|---|---|
| committer | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-05-14 00:16:30 +0000 |
| commit | e77bdfac78c8ddc566d776296e172f5da3251d05 (patch) | |
| tree | 8b1aaa17313a294b39a780c36d53d2d6b5b4556b | |
| parent | 76ff64b04309e9f3441d21c786ccacc6f01334f9 (diff) | |
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@260221 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 bdfe82731399..ef0f19a092a9 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20180513 +20180514 |