μC/OS-II The Real-Time kernel V2.51 Release Notes

Two weeks ago, I released V2.05 and today, I found a bug in it (bug V205-001). I decided to slightly change the numbering system of releases. Complex releases (like V2.04 to V2.05) will now increase by 0.10 and minor (bug fixes or slight improvements) will now be increasing by 0.01. This means that V2.51 is now called V2.50 and with this bug fix, the release is V2.51. The reason this is done is to allow you to call OSVersion() and get the proper release number. If I didn’t change the numbering system, I would have had to call the release with the bug correction V2.06. I was reserving such releases as major releases.
Bug V2.51-001:
In the NEW port file, an ISR MUST first check to see if OSIntNesting == 1 before we save the SP in the current task OS_TCB. This bug only applies to the NEW algorithm for the port files and thus does NOT affect previous ports.
See New Algorithm For Ports at the end of the V2.51 notes.