Fix Lucre for scala#23441 change 2.3

EugeneFlesselle · EugeneFlesselle · commit a35f38631f3f · 2025-07-18T11:24:51.000+02:00
diff --git a/community-build/community-projects/Lucre b/community-build/community-projects/Lucre
@@ -1 +1 @@
-Subproject commit 5e10cb010165d79e0a0e20aae4e616d6f37cb693
+Subproject commit 5f2ca01f44ce0784ebce0d5455d996fb05a81fdb
