Merge in gator version 5.16
authorJon Medhurst <tixy@linaro.org>
Fri, 11 Oct 2013 11:53:06 +0000 (12:53 +0100)
committerJon Medhurst <tixy@linaro.org>
Fri, 11 Oct 2013 11:53:06 +0000 (12:53 +0100)
commit01239d6842a2e2653b7b42736cf2c10b69d0face
treeeb6e9bbf6c81208ee7b0681af8d500b64fd849ee
parent38529e4e6d6c9a9d18b59e1b165e8cd5d0c596da
parent4e5eee16c9f3454f74572b7812eb80255d2e31d3
Merge in gator version 5.16