@@ -33,7 +33,7 @@ Try as closely as possible to describe the issue, ensuring that it has sections
33In addition, please attach complete source files that exhibit the issue to quoting from them in the issue.
33In addition, please attach complete source files that exhibit the issue to quoting from them in the issue.
35### Feature Requests
35### Feature Requests
36−We would appreciate to only receive requests for new features in the issue tracker, when they are feasible to implement and the author is willing to implement the suggested features themself. The current Idris developer team consists mostly of volunteers, and so it is unfortunately hard to accommodate implementing nice-to-have ideas that are not essential for core language development.
36+We would appreciate to only receive requests for new features in case they are feasible to implement and the author is willing to implement the suggested features themself. The current Idris developer team consists mostly of volunteers, and so it is unfortunately hard to accommodate implementing nice-to-have ideas that are not essential for core language development.
38## The Campsite Rule
38## The Campsite Rule