From 0e82d6b1a3006ad260e91c06be9151bfdd406f8e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 16 Feb 2019 19:44:39 +0100 Subject: Fix English grammar. Co-Authored-By: Zimmi48 --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 05f01e4a97..ce057677bf 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -48,7 +48,7 @@ the bug minimizer is the `find-bug.py` script in that repo). ### Triaging bug reports Triaging bug reports (adding labels, closing outdated / resolved bugs) -requires to be granted some permissions. You may request members of the +requires you to be granted some permissions. You may request members of the **@coq/core** team to add you to the contributors team. They can do so using this link: . -- cgit v1.2.3