diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-05-12 00:20:56 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-05-12 00:20:56 +0000 |
| commit | 794eb5742226d13ffec4431bdee510e8aebc8001 (patch) | |
| tree | 866c2f962c219c3469500bd16536ee6282d0f2dd | |
| parent | 173216f75b5b73f02cb414165ea6e6b0535d9fe5 (diff) | |
| download | gcc-794eb5742226d13ffec4431bdee510e8aebc8001.tar.gz | |
Daily bump.
| -rw-r--r-- | gcc/DATESTAMP | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 4744698a31c..d44f41a9779 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230511 +20230512 |