diff options
| author | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-07-10 00:16:41 +0000 |
|---|---|---|
| committer | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-07-10 00:16:41 +0000 |
| commit | fc439f922ee75af9ecfe3ad41df53e5a24bfad67 (patch) | |
| tree | dbc3bb1b90b3b7097b00ac707e1e41773920579b | |
| parent | 7801dcc00abb9a61e5d03c2987e680d2ccaaeecd (diff) | |
Daily bump.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-8-branch@262531 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 39f2a1192e9f..d061b5a0425b 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20180709 +20180710 |