From e1b8af7fb2700effd0d345dad799fa54d035b3b0 Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Thu, 30 Apr 2020 17:43:36 +0200
Subject: [PATCH] Set DEV-PHASE to prerelease.

2020-04-30  Jakub Jelinek  <jakub@redhat.com>

	* DEV-PHASE: Set to prerelease.
---
 gcc/ChangeLog | 4 ++++
 gcc/DEV-PHASE | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a099eed75a64..369880b33cc5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2020-04-30  Jakub Jelinek  <jakub@redhat.com>
+
+	* DEV-PHASE: Set to prerelease.
+
 2020-04-30  Jonathan Wakely  <jwakely@redhat.com>
 
 	* pretty-print.c (pp_take_prefix): Fix spelling in comment.
diff --git a/gcc/DEV-PHASE b/gcc/DEV-PHASE
index 9839eb20815b..373fbc60bb98 100644
--- a/gcc/DEV-PHASE
+++ b/gcc/DEV-PHASE
@@ -1 +1 @@
-experimental
+prerelease
-- 
2.47.2