changes to compile verify with -Yexplicit-nulls and -Yflexible-types

olhotak · olhotak · commit 7730e7251a76 · 2023-07-29T08:30:19.000-04:00
diff --git a/community-build/community-projects/verify b/community-build/community-projects/verify
@@ -1 +1 @@
-Subproject commit 073921a373e05bcfdc863769f676089ab889a002
+Subproject commit ef284879db259ea0023ab8f0a761e9f08aa141bb
