From a0cd3eade8db68cea9f0e42fdba9ad7b426d25b9 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Mon, 23 Mar 2020 12:48:22 +0100
Subject: [PATCH] Updated changelog

---
 build/shared/revisions.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index 6d1900f2d..c91659688 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -1,5 +1,10 @@
 ARDUINO 1.8.13 2020.??.??
 
+[ide]
+* Fixed save of proxy username/password settings in "manual proxy" section.
+* In "Tools / Programmers" menu only shows programmes related to the currently selected board. (thanks @matthijskooijman)
+* Fixed: sketch window out-of-display if the IDE is restarted after removing an external monitor.
+* Allow baudrate/config change when the Serial Monitor/Plotter is disabled. (thanks @matthijskooijman)
 
 ARDUINO 1.8.12 2020.02.13