Merge pull request #61 from ju-sh/patch-1

Fix typo
coq · Jan 12, 2022 · 5393bb1 · 5393bb1
2 parents 1875688 + 94bc859
commit 5393bb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.