From b1bcec08f85b1d204a7fe5368147f6c3f43be78c Mon Sep 17 00:00:00 2001
From: Leziga <85461869+Leziga@users.noreply.github.com>
Date: Wed, 16 Jun 2021 18:58:31 +0100
Subject: [PATCH] Update boards_manager.md (#5296)

---
 docs/arduino-ide/boards_manager.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/arduino-ide/boards_manager.md b/docs/arduino-ide/boards_manager.md
index c689314f..c3b5cc96 100644
--- a/docs/arduino-ide/boards_manager.md
+++ b/docs/arduino-ide/boards_manager.md
@@ -9,4 +9,4 @@ Starting with 1.6.4, Arduino allows installation of third-party platform package
 - Install the current upstream Arduino IDE at the 1.8 level or later. The current version is at the [Arduino website](http://www.arduino.cc/en/main/software).
 - Start Arduino and open Preferences window.
 - Enter one of the release links above into *Additional Board Manager URLs* field. You can add multiple URLs, separating them with commas.
-- Open Boards Manager from Tools > Board menu and install *esp32* platform (and don't forget to select your ESP32 board from Tools > Board menu after installation).
+- Open Boards Manager from Tools > Board menu and install *esp32* platform (and do not forget to select your ESP32 board from Tools > Board menu after installation).