From 860d60d641f03fad3f735a24625e5eb3d5360a34 Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Mon, 20 Sep 2021 10:43:59 +0100 Subject: [PATCH] Move commit pointer of submodule Java Models Library. This allows us to include a change (https://github.com/diffblue/java-models-library/commit/012cdc25d95ef13ea99123683d0db9044254388d) that makes it possible to now build under Java version 17, allowing us to once more release under Homebrew, seeing as now there should be no blockers to build. --- jbmc/lib/java-models-library | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library index 198d541d3d3..012cdc25d95 160000 --- a/jbmc/lib/java-models-library +++ b/jbmc/lib/java-models-library @@ -1 +1 @@ -Subproject commit 198d541d3d33383f4c25f6cbd639bbe0d7b726ba +Subproject commit 012cdc25d95ef13ea99123683d0db9044254388d