From a0cb70ac9350e1496cd23e1900da990a9d306f93 Mon Sep 17 00:00:00 2001
From: Paul Gschwendtner <paulgschwendtner@gmail.com>
Date: Mon, 14 Apr 2025 17:24:13 +0000
Subject: [PATCH] build: update dev-infra to version with `http_server` fix

Updates dev-infra to a version that includes the `http_server` runfile
fix.
---
 WORKSPACE | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/WORKSPACE b/WORKSPACE
index f42023102e3c..66ed50e0c081 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -223,7 +223,7 @@ load("@bazel_tools//tools/build_defs/repo:git.bzl", "git_repository")
 
 git_repository(
     name = "devinfra",
-    commit = "c4f7d3cdec164044284139182b709dfd4be339ed",
+    commit = "35131fc980ce5451fb89d8c033efc827ad39ca68",
     remote = "https://github.com/angular/dev-infra.git",
 )