From 44505aa5915983bd04dbf2d96ed996babb4c613a Mon Sep 17 00:00:00 2001
From: Patrick Rathje <git@patrickrathje.de>
Date: Tue, 10 Nov 2020 21:16:13 +0100
Subject: [PATCH] Ignore correct lib

---
 platformio.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platformio.ini b/platformio.ini
index a5af011..e72705b 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -25,7 +25,7 @@ build_flags =
 lib_deps =
     prathje/exposure-notification @ ^0.1
 lib_ignore =
-    prathje/exposure-notification
+    mbedtls
 
 [env:desktop]
 platform = native