Richard Barry d55e7e77a2 Update version number to 8.1.2 after moving the defaulting of configUSE_PORT_OPTIMISED_TASK_SELECTION into individual port layers so it does not affect ports that do not support the definition.

2014-09-02 22:39:54 +00:00

9.0 KiB

Raw Blame History

View Raw