From 18f714f786ddbc137c632d6845c5fa2b175d3cbd Mon Sep 17 00:00:00 2001 From: David Chalco <59750547+dachalco@users.noreply.github.com> Date: Mon, 9 Nov 2020 15:46:02 -0800 Subject: [PATCH] Update release date (#217) --- 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