From ab862285d729cf63fcb42a1d2146fa969403ef31 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 24 Apr 2023 07:05:45 +0000
Subject: [PATCH] Bump third_party/pigweed/repo from `ead209d` to `b88cd71`

Bumps [third_party/pigweed/repo](https://github.com/google/pigweed) from `ead209d` to `b88cd71`.
- [Release notes](https://github.com/google/pigweed/releases)
- [Commits](https://github.com/google/pigweed/compare/ead209d3aa09821aa7549fbc8665ae68fe88d16f...b88cd71d271c41e34a36dfc1c435e1e6ee3bc72a)

---
updated-dependencies:
- dependency-name: third_party/pigweed/repo
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 third_party/pigweed/repo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/third_party/pigweed/repo b/third_party/pigweed/repo
index ead209d3aa..b88cd71d27 160000
--- a/third_party/pigweed/repo
+++ b/third_party/pigweed/repo
@@ -1 +1 @@
-Subproject commit ead209d3aa09821aa7549fbc8665ae68fe88d16f
+Subproject commit b88cd71d271c41e34a36dfc1c435e1e6ee3bc72a