From 57e15f071b9b0279ebbed967b0722f5096775ab5 Mon Sep 17 00:00:00 2001
From: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
Date: Tue, 18 Feb 2020 17:13:21 -0800
Subject: [PATCH] change history for 10.3.1.

---
 History.txt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/History.txt b/History.txt
index f7a545575..243e3c30c 100644
--- a/History.txt
+++ b/History.txt
@@ -1,5 +1,12 @@
 Documentation and download available at http://www.FreeRTOS.org/
 
+Changes between FreeRTOS V10.3.0 and FreeRTOS V10.3.1 released February 18 2020
+
+	See http://www.FreeRTOS.org/FreeRTOS-V10.3.x.html
+
+	./FreeRTOS-Labs directory was removed from this file. The libraries it 
+	contained are now available as a separate download.
+
 Changes between FreeRTOS V10.2.1 and FreeRTOS V10.3.0 released February 7 2020
 
 	See http://www.FreeRTOS.org/FreeRTOS-V10.3.x.html