From 980f09601f5f9da35f0bb69b70f3e8dce2601483 Mon Sep 17 00:00:00 2001
From: Mattia Pennasilico <m.pennasilico@arduino.cc>
Date: Wed, 21 Dec 2022 11:55:34 +0100
Subject: [PATCH] Release v0.7.2

---
 library.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library.properties b/library.properties
index 5e940190..08db85a8 100644
--- a/library.properties
+++ b/library.properties
@@ -1,5 +1,5 @@
 name=Arduino_ConnectionHandler
-version=0.7.1
+version=0.7.2
 author=Ubi de Feo, Cristian Maglie, Andrea Catozzi, Alexander Entinger et al.
 maintainer=Arduino.cc
 sentence=Arduino Library for network connection management (WiFi, GSM, NB, [Ethernet])