[roll] Roll infra/recipes [roll] Update pinned tools
- fuchsia/tools/jiri/${platform}
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/infra/recipes/+/1260087
Original-Revision: 9a1377302c7c6cc8b1d9ada28d8257bd373e01cd
GitOrigin-RevId: 7332abaa133c15ab8f31a8e0da71c7d241b14103
Change-Id: I9f5304b41cabf0853b66b0df5b32d10bd348e21e
diff --git a/infra/recipes b/infra/recipes
index 61f0047..20d84f2 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="faaa59e87b075c548b8b8a105859afbefcbd11cc"/>
+ revision="9a1377302c7c6cc8b1d9ada28d8257bd373e01cd"/>
</projects>
</manifest>