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