From da0a5f101b15f54c44e0e7fcdc8cb201f13980a1 Mon Sep 17 00:00:00 2001
From: sourcegraph-bot-2 <87207425+sourcegraph-bot-2@users.noreply.github.com>
Date: Tue, 5 May 2026 00:05:56 +0000
Subject: [PATCH] promote-release: v7.2.1943

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