Merge remote-tracking branch 'public/pr/921' into development

This commit is contained in:
Simon Butcher
2018-07-20 14:30:50 +01:00
8 changed files with 10 additions and 8 deletions

View File

@@ -62,7 +62,7 @@
#endif
#if defined(MBEDTLS_HAVE_TIME)
#include "mbedtls/platform_time.h"
#include "platform_time.h"
#endif
/*