From 429bc1ed308714a146842dcda42827228bf6ac1c Mon Sep 17 00:00:00 2001
From: Olaf Bergmann <bergmann@tzi.org>
Date: Mon, 8 Apr 2019 14:28:52 +0200
Subject: [PATCH] [tinydtls] Updated submodule URI to new development HEAD

The tinyDTLS source repository now lives at GitHub [1]. This
change updates the submodule URI and includes the latest commits
from the development branch.

[1] https://github.com/eclipse/tinydtls
---
 .gitmodules  | 2 +-
 ext/tinydtls | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitmodules b/.gitmodules
index 2135e239..fb96bfda 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,4 +1,4 @@
 [submodule "ext/tinydtls"]
 	path = ext/tinydtls
-	url = https://git.eclipse.org/r/tinydtls/org.eclipse.tinydtls
+	url = https://github.com/eclipse/tinydtls.git
     ignore = dirty
diff --git a/ext/tinydtls b/ext/tinydtls
index 9a349611..02d0716f 160000
--- a/ext/tinydtls
+++ b/ext/tinydtls
@@ -1 +1 @@
-Subproject commit 9a3496119688047b6d8b79826f13425397d92e10
+Subproject commit 02d0716ff99f36a53cbe4c7e43693514735088d7