diff options
| author | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-12-03 00:16:13 +0000 |
|---|---|---|
| committer | gccadmin <gccadmin@138bc75d-0d04-0410-961f-82ee72b054a4> | 2018-12-03 00:16:13 +0000 |
| commit | d2ee7ae312da448fa615e56dc8d45a2ec8d0ea9d (patch) | |
| tree | 7182cf2ab101daf6dcb3e879984bbeeede06f280 | |
| parent | 58a0baff9b098327643eb252afd0c2bae2b0bcb3 (diff) | |
Daily bump.
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/gcc-7-branch@266730 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 e93fd985267..dd2c1f13bac 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20181202 +20181203 |