From a7338d1fc9a4bdd8772f836133f6351179013857 Mon Sep 17 00:00:00 2001
From: Evgenii Korolevskii <102794661+e-korolevskii@users.noreply.github.com>
Date: Mon, 25 Jul 2022 12:19:16 +0200
Subject: [PATCH] Update docs/contributors.md

Co-authored-by: Ivan <98037481+IvanZosimov@users.noreply.github.com>
---
 docs/contributors.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/contributors.md b/docs/contributors.md
index 7cd0fba..c3b8e6e 100644
--- a/docs/contributors.md
+++ b/docs/contributors.md
@@ -25,7 +25,7 @@ Documentation contributions of any size are welcome! Feel free to contribute eve
 Pull requests are the easiest way to contribute changes to git repos at GitHub. They are the preferred contribution method, as they offer a nice way of commenting and amending the proposed changes.
 
 - Please check that no one else has already created a pull request with these changes
-- Use a "feature branch" for your changes. That separates the changes in the pull request from your other changes and makes it easy to edit/amend commits in the pull request. 
+- Use a "feature branch" for your changes. That separates the changes in the pull request from your other changes and makes it easy to edit/amend commits in the pull request 
 - Make sure your changes are formatted correctly and consistently with the rest of the documentation
 - Re-read what you wrote, and run a spellchecker on it to make sure you didn't miss anything
 - If your pull request is connected to an open issue, add a line in your pull request's description that says Fixes: #123, where #123 is the number of the issue you're fixing.