From ebb39b2c4a648b784401fb356ced68e732269b14 Mon Sep 17 00:00:00 2001 From: David Chalco Date: Mon, 9 Nov 2020 15:14:42 -0800 Subject: [PATCH] Update release date --- History.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/History.txt b/History.txt index cb500e219..b5ba33cf4 100644 --- a/History.txt +++ b/History.txt @@ -1,6 +1,6 @@ Documentation and download available at https://www.FreeRTOS.org/ -Changes between FreeRTOS V10.4.1 and FreeRTOS V10.4.2 released November 9 2020 +Changes between FreeRTOS V10.4.1 and FreeRTOS V10.4.2 released November 10 2020 See https://www.FreeRTOS.org/FreeRTOS-V10.4.x.html + Fix an issue in the ARMv8-M ports that caused BASEPRI to be masked