From 5a1cfa650e0af4d87aecd6aa6d9685a5fc021ee6 Mon Sep 17 00:00:00 2001 From: Ben Gamari <ben@smart-cactus.org> Date: Wed, 7 Mar 2018 22:17:18 -0500 Subject: [PATCH] rel-notes: Fix typo Thanks to Gabor for pointing this out. --- docs/users_guide/8.4.1-notes.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/users_guide/8.4.1-notes.rst b/docs/users_guide/8.4.1-notes.rst index b25d18471d66..182ba073d70b 100644 --- a/docs/users_guide/8.4.1-notes.rst +++ b/docs/users_guide/8.4.1-notes.rst @@ -24,7 +24,8 @@ The highlights, since the 8.2.1 release, are: - Further improvements in code generation -- Incoporation of library changes including the Phase 2 of the Semigroup-Monoid Proposal +- Incorporation of library changes including the Phase 2 of the Semigroup-Monoid + Proposal - A variety of Windows compatibility improvements -- GitLab