tree f705f739ab6aa8642158710b2aabd2af2c568eb7
parent 33cc3a292bfc7ccb1f20dcf00ad854863ea4cae3
author Richard Barry <ribarry@amazon.com> 1409697594 +0000
committer Richard Barry <ribarry@amazon.com> 1409697594 +0000

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.