From 94bc859fc91d37eea79495e1464c709d71045054 Mon Sep 17 00:00:00 2001 From: Julin S <48789920+ju-sh@users.noreply.github.com> Date: Wed, 12 Jan 2022 22:08:34 +0530 Subject: [PATCH] Fix typo Fix typo --- text/052-platform-release-cycle.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/052-platform-release-cycle.md b/text/052-platform-release-cycle.md index b790ed16..921bba48 100644 --- a/text/052-platform-release-cycle.md +++ b/text/052-platform-release-cycle.md @@ -191,6 +191,6 @@ Hence, it is not YYYY.MM.DD but rather YYYY.MM.XX. # Drawbacks This new process identifies 3 groups of developers which need to talk to each -others: Coq dev, platform devs, and Docker devs. This is a risk, but also an +other: Coq dev, platform devs, and Docker devs. This is a risk, but also an advantage since the Coq release becomes more lightweight, leaving the RM more time to focus on supporting the release with hotfixes.