mbedmicro/mbed — pull request #609 by PrzemekWirkus (2014-10-27 13:51:13+00:00)
Title: Merge pull requests from mbedmicro/master

Sync with master