From baff8546bda1dff1ae1f6639bd7ba7b2ac77415e Mon Sep 17 00:00:00 2001
From: Connor Peet <connor@peet.io>
Date: Fri, 2 Jun 2023 11:32:37 -0700
Subject: [PATCH] chore: bump distro for build fix (#184197)

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

diff --git a/package.json b/package.json
index 0241a3e6e96..447147981a0 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "code-oss-dev",
   "version": "1.80.0",
-  "distro": "6a2bf7dc552e54b0490c3a347fc1c62c00e02310",
+  "distro": "72a01ba20044ebdf57ed5d643be558c31be7d4cb",
   "author": {
     "name": "Microsoft Corporation"
   },