[roll] Roll infra/recipes [roll] Update pinned tools
- fuchsia/tools/jiri/${platform}
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/infra/recipes/+/1257478
Original-Revision: 8adff0eab0fd588d0238bb5012ad7a5863999f01
GitOrigin-RevId: 3da13e0402755ce43518c899d22ae1601894a043
Change-Id: If7bbe1e757be87b8a2b03e90a006007786576cb5
diff --git a/infra/recipes b/infra/recipes
index a242942..4f67e48 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="f93897317a48bfae97b2a92ff27820a055acbaa0"/>
+ revision="8adff0eab0fd588d0238bb5012ad7a5863999f01"/>
</projects>
</manifest>