From 5253db07b8e2f2f0eabe66340cd3b5826d0d95ed Mon Sep 17 00:00:00 2001
From: sourcegraph-bot-2 <87207425+sourcegraph-bot-2@users.noreply.github.com>
Date: Mon, 1 Jun 2026 22:29:41 +0000
Subject: [PATCH] release: v7.3.2527

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