From 7c2a880bb748b4fb8218900cd3273053984b5216 Mon Sep 17 00:00:00 2001
From: sourcegraph-bot-2 <87207425+sourcegraph-bot-2@users.noreply.github.com>
Date: Wed, 8 Jul 2026 19:34:22 +0000
Subject: [PATCH] release: v7.5.0

{"version":"v7.5.0","inputs":"server=v7.5.0","type":"patch"}