From 758ff9c194c87f4b54dfe5c1f4f340b15b9bb206 Mon Sep 17 00:00:00 2001
From: Patricio Gonzalez Vivo <patriciogonzalezvivo@gmail.com>
Date: Wed, 26 Oct 2022 05:55:01 -0400
Subject: [PATCH] latest vera

---
 deps/vera | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/vera b/deps/vera
index 61076ec3..a3538e06 160000
--- a/deps/vera
+++ b/deps/vera
@@ -1 +1 @@
-Subproject commit 61076ec3359769ba01e652f41322db0684e726a2
+Subproject commit a3538e06ecbfe0694e2a64fc51ce6c4ee018a9a0