Update text/052-platform-release-cycle.md

coq · Feb 10, 2021 · 230c2fa · 230c2fa
1 parent bf9fcf8
commit 230c2fa
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
@@ -186,7 +186,7 @@ It's essentially the Ubuntu scheme:
 - YYYY.MM plays the role of a major version, as in Coq's 8.13
 - YYYY.MM.0,  YYYY.MM.1 ... play the role of point releases, as Coq's 8.13.0 ..
 
-Hence, it is not YYYY.MM.DD byt rather YYYY.MM.XX.
+Hence, it is not YYYY.MM.DD but rather YYYY.MM.XX.
 
 # Drawbacks