Fix the the the

ghc-proposals · Jan 24, 2017 · 09bbab1 · 09bbab1
1 parent 0f78fc4
commit 09bbab1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/steering-committee.rst b/steering-committee.rst
@@ -39,7 +39,7 @@ Debate steps
    to revise and try again, but the document should retain this original
    rejection information.
 
-   In the case that the the proposed change has already been implemented in
+   In the case that the proposed change has already been implemented in
    GHC, it will be reverted.
 
 -  If during the Debate, the need for substantial changes does arise, we