this is using the mbed os version 5-13-1

Dependencies:   mbed-http

Revision:
6:e944c4172052
Parent:
4:cd8110e15e5d
Child:
7:dad633c6dc8c
--- a/mbed-os.lib	Thu Aug 04 21:00:58 2016 +0100
+++ b/mbed-os.lib	Fri Aug 05 06:16:04 2016 +0100
@@ -1,1 +1,1 @@
-https://github.com/mbedmicro/mbed/#dd36dc4228b52ae538ecaa2f1a1dbba9260b9bd9
+https://github.com/ARMmbed/mbed-os/#0712b8adf6bbc7eb796d5dac26f95d79d40745ef