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

olhotak · olhotak · commit 674e1683dc8d · 2023-07-24T12:37:07.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
