Merge pull request #11576 from dotty-staging/patch-verify

nicolasstucki · web-flow · commit ebdd3ccebcb5 · 2021-03-03T08:11:09.000+01:00
Remove use of underlyingArgument from verify
diff --git a/community-build/community-projects/verify b/community-build/community-projects/verify
@@ -1 +1 @@
-Subproject commit 90bae9a5c83a1c229922452b5ae3eb1b2b7de89b
+Subproject commit bd32493e1128590cba0c1b4d0d04b50bc0af6740
