Merge in gator version 5.18
authorJon Medhurst <tixy@linaro.org>
Thu, 10 Apr 2014 11:45:17 +0000 (12:45 +0100)
committerJon Medhurst <tixy@linaro.org>
Thu, 10 Apr 2014 11:45:17 +0000 (12:45 +0100)
commit03925e64e3aff28a204a61f4b833aabe6aface2c
treec688642f88636407bd99c5f289a99ca44e8c59f7
parentdffc698f098d93044e28f4f97206eca6373c7cdf
parent6d0ae28ce59feba55f718ffaf43dfb6ad394cb4f
Merge in gator version 5.18