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

olhotak · olhotak · commit b3f72864a329 · 2023-07-21T18:20:44.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
