From bfd311c09d28ee199307daba87ba3c0a6a88923b Mon Sep 17 00:00:00 2001 From: odersky Date: Tue, 14 Nov 2023 12:27:21 +0100 Subject: [PATCH] Drop unsupported option in .jvmopts of munit The option is no longer supported after Java 14. The change was already doen upstream --- community-build/community-projects/munit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community-build/community-projects/munit b/community-build/community-projects/munit index 55ae3caecf69..c18fddb143b9 160000 --- a/community-build/community-projects/munit +++ b/community-build/community-projects/munit @@ -1 +1 @@ -Subproject commit 55ae3caecf690c8f1a785d78798955c6042344ca +Subproject commit c18fddb143b98e4c026dc118687410d52b187d88