From 2e039cc9944d3d1a088d83be1b10322e13767641 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Thu, 12 Dec 2019 16:34:25 +0100 Subject: [PATCH] update extendj to current version --- extendj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extendj b/extendj index f9f323f..7847dd2 160000 --- a/extendj +++ b/extendj @@ -1 +1 @@ -Subproject commit f9f323fb20c2260ee2c0592e4e17ecb11e5c74af +Subproject commit 7847dd21616ab88abed98c2b8c27aefcbdc7c888 -- GitLab