Fix formatting

History.txt

@@ -4,43 +4,43 @@ Changes between FreeRTOS-plus-TCP V4.3.0 and V4.2.2 released December 10, 2024
 	+ Fix TCP RX sequence number when handling refusal of FIN packets.
 	+ Fix unicast packets being sent over inactive endpoints. We thank
 	  @AlfaSegato for this contribution.
-	+ Fix the initialization of the DNS callback list every time there is a 
+	+ Fix the initialization of the DNS callback list every time there is a
 	  Network-UP event. We thank @evpopov for this contribution.
-	+ Full ARP/ND build level separation. 
+	+ Full ARP/ND build level separation.
 	  We thank @HTRamsey for this contribution.
-	+ Update the `eARPGetCacheEntry` to handle loopback addresses correctly 
-	  and assign the loopback endpoint's MAC address as the lookup MAC address. 
+	+ Update the `eARPGetCacheEntry` to handle loopback addresses correctly
+	  and assign the loopback endpoint's MAC address as the lookup MAC address.
 	  We thank @htibosch for this contribution.
-	+ Replace the costly `vTaskSuspendAll`/`xTaskResumeAll` locking 
-	  mechanism with the more efficient `taskENTER_CRITICAL`/`taskEXIT_CRITICAL` 
-	  pair in frequenly used `uxStreamBufferAdd()`. 
+	+ Replace the costly `vTaskSuspendAll`/`xTaskResumeAll` locking
+	  mechanism with the more efficient `taskENTER_CRITICAL`/`taskEXIT_CRITICAL`
+	  pair in frequenly used `uxStreamBufferAdd()`.
 	  We thank @lzungri for this contribution.
-	+ Improve frame filtering by expanding the checks in 
-	  eConsiderFrameForProcessing to drop invalid frames earlier. 
+	+ Improve frame filtering by expanding the checks in
+	  eConsiderFrameForProcessing to drop invalid frames earlier.
 	  We thank @HTRamsey for this contribution.
-	+ Fix reception of multicast custom Ethernet frames, where custom multicast 
+	+ Fix reception of multicast custom Ethernet frames, where custom multicast
 	  frames were filtered out. We thank @evpopov for this contribution.
-	+ Update the Zynq Ultrascale port to support the V4.x.x version of 
+	+ Update the Zynq Ultrascale port to support the V4.x.x version of
 	  FreeRTOS+TCP. We thank @StefanBalt and @pete-pjb for this contribution.
-	+ New unified STM32 network interface for STM32 F4/F7/H5/H7. 
+	+ New unified STM32 network interface for STM32 F4/F7/H5/H7.
 	  We thank @HTRamsey for this contribution.
-	+ Fix ATSAME5x network interface related to incorrect detection of ICMP. 
+	+ Fix ATSAME5x network interface related to incorrect detection of ICMP.
 	  We thank @cruxic for this contribution.
-	+ Update Renesas portable layer for backward compatibility. 
+	+ Update Renesas portable layer for backward compatibility.
 	  We thank @xuan97z1 for this contribution.
-	+ Replace any missing functions by assert-false in all CBMC proofs to 
+	+ Replace any missing functions by assert-false in all CBMC proofs to
 	  improve tests. We thank @tautschnig for this contribution.
-	+ Add ipconfigEMAC_TASK_HOOK macro to allow for a configurable 
+	+ Add ipconfigEMAC_TASK_HOOK macro to allow for a configurable
 	  watchdog timer for STMH7xx MCUs. We thank @kzorer for this contribution.
-	+ Improve CMake to allow usage of `FetchContent` in external projects. 
+	+ Improve CMake to allow usage of `FetchContent` in external projects.
 	  We thank @nicovanduijn for this contribution.
-	+ Adds warning logs if the TCP stream buffer or window properties 
+	+ Adds warning logs if the TCP stream buffer or window properties
 	  are changed. We thank @evpopov for this contribution.
-	+ Remove unused `ipconfigHAS_ROUTING_STATISTICS` macro. 
+	+ Remove unused `ipconfigHAS_ROUTING_STATISTICS` macro.
 	  We thank @HTRamsey for this contribution.
-	+ Fix MISRA 2012 violations with the latest version of 
+	+ Fix MISRA 2012 violations with the latest version of
 	  MISRA evalution tools.
-	+ Adjust CBMC proof tooling to support CBMC v6. 
+	+ Adjust CBMC proof tooling to support CBMC v6.
 	  We thank @tautschnig for this contribution.
 
 Changes between FreeRTOS-plus-TCP V4.2.2 and V4.2.1 released July 12, 2024: