diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2023-04-17 13:51:23 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2023-04-17 13:51:23 +0200 |
| commit | 85b95ea729cdd3478a8b0fbd7111d494e5ebb6e4 (patch) | |
| tree | 3cda51f8dbd4b3905ff1c90d688235106b3c941a | |
| parent | 8e08c7886eed5824bebd0e011526ec302d622844 (diff) | |
Set DEV-PHASE to prerelease.
2023-04-17 Jakub Jelinek <jakub@redhat.com>
* DEV-PHASE: Set to prerelease.
| -rw-r--r-- | gcc/DEV-PHASE | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/DEV-PHASE b/gcc/DEV-PHASE index 9839eb20815..373fbc60bb9 100644 --- a/gcc/DEV-PHASE +++ b/gcc/DEV-PHASE @@ -1 +1 @@ -experimental +prerelease |