Merge pull request #4894 from alexfmpe/patch-2

Fix typo
idris-lang · Oct 22, 2021 · 8752d86 · 8752d86
2 parents 13cdb16 + dcf9257
commit 8752d86
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/reference/codegen.rst b/docs/reference/codegen.rst
@@ -67,7 +67,7 @@ Third Party
 
    These are third-party code generations and may have bit-rotted or
    do not work with current versions of Idris. Please speak to the
-   project's maintainors if there are any problems.
+   project's maintainers if there are any problems.
 
 
 CIL (.NET, Mono, Unity)