From 1d4d16fd54bbf15970892033874f9d72d670aa24 Mon Sep 17 00:00:00 2001 From: Jeff Tenney Date: Mon, 15 Feb 2021 15:00:20 -0700 Subject: [PATCH] Update URL in history.txt (#259) * Update URL in history.txt * Configure CI header checker to ignore .txt files Co-authored-by: alfred gedeon <28123637+alfred2g@users.noreply.github.com> --- History.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/History.txt b/History.txt index 6dcf3ce31..296068721 100644 --- a/History.txt +++ b/History.txt @@ -79,7 +79,7 @@ Changes between FreeRTOS V10.3.1 and FreeRTOS V10.4.0 released September 10 2020 the same way the Windows port layer enables FreeRTOS to run on Windows hosts. + Many other minor optimisations and enhancements. For full details - see https://github.com/FreeRTOS/FreeRTOS-Kernel/commits/master + see https://github.com/FreeRTOS/FreeRTOS-Kernel/commits/main Changes between FreeRTOS V10.3.0 and FreeRTOS V10.3.1 released February 18 2020