From cc4f8e038d83b1a6b837f044035793e776c66db5 Mon Sep 17 00:00:00 2001
From: Paolo Tranquilli <redsun82@github.com>
Date: Fri, 17 May 2024 10:52:29 +0100
Subject: [PATCH] Bazel: update bazel to version 7.1.2

---
 .bazelversion | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.bazelversion b/.bazelversion
index a3fcc7121bb..a8a18875682 100644
--- a/.bazelversion
+++ b/.bazelversion
@@ -1 +1 @@
-7.1.0
+7.1.2