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

Dependencies:   mbed-http

Revision:
99:05398b3184f8
Parent:
98:65c2333a38b6
Child:
103:7b566b522427
--- a/source/main-https.cpp	Sun Apr 21 13:06:41 2019 +0000
+++ b/source/main-https.cpp	Mon Apr 22 11:11:41 2019 +0000
@@ -409,6 +409,10 @@
 int main() {
     //print_all_thread_info();
     //print_heap_and_isr_stack_info();
+#ifdef MBED_MAJOR_VERSION
+    printf("Mbed OS version %d.%d.%d\n\n", MBED_MAJOR_VERSION, MBED_MINOR_VERSION, MBED_PATCH_VERSION);
+#endif
+    
     reset_counter++;
     print_memory_info();
     printf("\r\n ++++++ PROGRAM STARTING -- reset count = %d ++++++ \r\n", reset_counter);