diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-05-12 00:16:19 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2020-05-12 00:16:19 +0000 |
| commit | b58c5e0c73424586b881cc5926c7b6fd9c7151f0 (patch) | |
| tree | 4ef677bcf72fb95fe8935a0e5891f6875b13f4ad /gcc/DATESTAMP | |
| parent | 2f4aeb2f53d96690953fabab487fd1d922f1c95f (diff) | |
Daily bump.
Diffstat (limited to 'gcc/DATESTAMP')
| -rw-r--r-- | gcc/DATESTAMP | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 7cc5ad9fe46..10771293e10 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20200511 +20200512 |