From a65b5c78e38411b3aea675d522a0de602b4af20b Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Thu, 17 Oct 2019 14:36:28 +0200 Subject: [PATCH] update extendj --- extendj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extendj b/extendj index 13916e0..f9f323f 160000 --- a/extendj +++ b/extendj @@ -1 +1 @@ -Subproject commit 13916e03792aa69f92369b139819addb6128e73d +Subproject commit f9f323fb20c2260ee2c0592e4e17ecb11e5c74af -- GitLab