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

Dependencies:   mbed-http

Revision:
71:112875e67b65
Parent:
70:efd6bb972dc4
Child:
98:65c2333a38b6
--- a/mbed-os.lib	Mon Oct 22 12:30:50 2018 +0100
+++ b/mbed-os.lib	Wed Nov 07 16:30:34 2018 +0000
@@ -1,1 +1,1 @@
-https://github.com/ARMmbed/mbed-os/#e1bea44212b8275f7d8ce7253e758c2e25c57482
+https://github.com/ARMmbed/mbed-os/#bf6f2c3c6434a6de9eb9511feffa5948b3d1f20f