From db73b973373cba5182c3aae68c4f3ada32bea2a8 Mon Sep 17 00:00:00 2001
From: Marcelo Salazar <mlnx@users.noreply.github.com>
Date: Fri, 1 Jul 2016 09:24:55 +0100
Subject: [PATCH] Update mbed-os.lib

This is the commit of the EPR release
https://github.com/ARMmbed/mbed-os/tree/mbed-os-5.0.0-epr
---
 mbed-os.lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mbed-os.lib b/mbed-os.lib
index 69a8a41ca..31e597237 100644
--- a/mbed-os.lib
+++ b/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#8e35c53493956aee3b390b7a6c311c67545e4eff
+https://github.com/ARMmbed/mbed-os/#c872ebba8ee0b6256a8aa492dd6bd3122ea64448