| commit | d55e7e77a22482bc3b356ce1aed99d11f8d495ac | [log] [tgz] |
|---|---|---|
| author | Richard Barry <ribarry@amazon.com> | Tue Sep 02 22:39:54 2014 +0000 |
| committer | Richard Barry <ribarry@amazon.com> | Tue Sep 02 22:39:54 2014 +0000 |
| tree | f705f739ab6aa8642158710b2aabd2af2c568eb7 | |
| parent | 33cc3a292bfc7ccb1f20dcf00ad854863ea4cae3 [diff] |
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.