Something wrong in the chang logs?

xiaogp13 wrote on Saturday, December 09, 2017:

Hi!
In the chang logs, about the release of V10, it said "Changes since FreeRTOS V9.0.1:
"
However, I can’t find the V9.0.1, I think it should be V10, and this also occurs in https://www.freertos.org/History.txt

Is it a typo?

rtel wrote on Saturday, December 09, 2017:

V9.0.1 was provided for distribution to some tools partners, but there
was never a separate .zip download from SourceForge, so its not a typo.