From f567c7e205d23f5593484151d72761bd756dfdb0 Mon Sep 17 00:00:00 2001 From: odersky Date: Tue, 19 Dec 2023 13:38:33 +0100 Subject: [PATCH] Swap two givens in Specs2 to satisfy new restriuction --- community-build/community-projects/specs2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community-build/community-projects/specs2 b/community-build/community-projects/specs2 index e42f7987b4ce..ba01cca013d9 160000 --- a/community-build/community-projects/specs2 +++ b/community-build/community-projects/specs2 @@ -1 +1 @@ -Subproject commit e42f7987b4ce30d95fca3f30b9d508021f2fdac7 +Subproject commit ba01cca013d9d99e390d17619664bdedd716e0d7