From 333cd04e587a1aad5f50b1fed894fbb45fe16ab7 Mon Sep 17 00:00:00 2001
From: flavis <christian@flavigny.de>
Date: Fri, 26 Jun 2020 10:48:10 +0200
Subject: [PATCH] update hdnum

---
 sose2020/num/hdnum | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sose2020/num/hdnum b/sose2020/num/hdnum
index 206ffca..7ebd4e5 160000
--- a/sose2020/num/hdnum
+++ b/sose2020/num/hdnum
@@ -1 +1 @@
-Subproject commit 206ffcacaf32199b4d284d720db004bdde8a03c0
+Subproject commit 7ebd4e5759ba3bd60dc47bd51e16d2cd07699a3f