From 7681a8780a79f628efbf67774a91514b04daaf52 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Sun, 29 Dec 2019 23:34:12 +0100
Subject: [PATCH] Added lib ESP32_HTTPS_Server

https://github.com/arduino/Arduino/issues/9543
---
 registry.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/registry.txt b/registry.txt
index 20b36d1d..06315c4a 100644
--- a/registry.txt
+++ b/registry.txt
@@ -2743,3 +2743,4 @@ https://gitlab.com/yesbotics/libs/arduino/timeout-callback.git|Contributed|Timeo
 https://github.com/khoih-prog/ESP_DoubleResetDetector.git|Contributed|ESP_DoubleResetDetector
 https://github.com/Panjkrc/TCS3200_library.git|Contributed|tcs3200
 https://github.com/DBS06/CERP_DF_Robot_Wireless_GamePad_V2.git|Contributed|CERP - DF-Robot Wireless GamePad V2.0 for Arduino library
+https://github.com/fhessel/esp32_https_server.git|Contributed|ESP32_HTTPS_Server