[roll] Roll infra/recipes [roll] Update pinned tools
- fuchsia/tools/jiri/${platform}
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/infra/recipes/+/1178413
Original-Revision: f3e036e18bf905d682a93d79eae32ba26bd153fc
GitOrigin-RevId: 42b031e40f6252c9e2fb2688ed14ee75a88b229b
Change-Id: Iff8ee1f91025a726406efab959e9bf4a94c17cdc
diff --git a/infra/recipes b/infra/recipes
index 789b4b5..a29a321 100644
--- a/infra/recipes
+++ b/infra/recipes
@@ -11,6 +11,6 @@
path="infra/recipes"
remote="https://fuchsia.googlesource.com/infra/recipes"
gerrithost="https://fuchsia-review.googlesource.com"
- revision="714698507b322c16d5aae049af01aa3cd848115d"/>
+ revision="f3e036e18bf905d682a93d79eae32ba26bd153fc"/>
</projects>
</manifest>