Update URL in history.txt (#259)
Update URL in history.txt (#259)

* Update URL in history.txt

* Configure CI header checker to ignore .txt files

Co-authored-by: alfred gedeon <13cedb2e7af79e93cffcae031d9dc6eb274f9700@users.noreply.github.com>
FreeRTOS/FreeRTOS-Kernel,FreeRTOS/FreeRTOS-Kernel