Bump SDE version.

This version should support `linux32_sde` builds again (thanks to
support for the Linux 7.x's vdso).

Bug: 537679390
Change-Id: Ib45ca0fccd9858285e21ff7df98313f46a6a6964
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/100247
Reviewed-by: David Benjamin <davidben@google.com>
Auto-Submit: Rudolf Polzer <rpolzer@google.com>
Presubmit-BoringSSL-Verified: boringssl-scoped@luci-project-accounts.iam.gserviceaccount.com <boringssl-scoped@luci-project-accounts.iam.gserviceaccount.com>
Commit-Queue: Rudolf Polzer <rpolzer@google.com>

util/bot/UPDATING

diff --git a/util/bot/UPDATING b/util/bot/UPDATING
index 076f797..6d37c72 100644
--- a/util/bot/UPDATING
+++ b/util/bot/UPDATING
@@ -29,6 +29,6 @@
 
     upload_to_google_storage.py -b chrome-boringssl-sde sde-linux64.tar.xz sde-win32.tar.xz
 
-The current revision is sde-external-9.48.0-2024-11-25-*.tar.xz.
+The current revision is sde-external-10.13.1-2026-07-28-*.tar.xz.
 
 When adding new files, remember to update .gitignore.

util/bot/sde-linux64.tar.xz.sha1

diff --git a/util/bot/sde-linux64.tar.xz.sha1 b/util/bot/sde-linux64.tar.xz.sha1
index 51e1aaf..f85c3f9 100644
--- a/util/bot/sde-linux64.tar.xz.sha1
+++ b/util/bot/sde-linux64.tar.xz.sha1
@@ -1 +1 @@
-b0266ba3d880bece6c189a4fa56347f4c96a33ae
\ No newline at end of file
+161943d9351978aac1a06aa30f7d97cadec903b1
\ No newline at end of file

util/bot/sde-win32.tar.xz.sha1

diff --git a/util/bot/sde-win32.tar.xz.sha1 b/util/bot/sde-win32.tar.xz.sha1
index 878abc9..83da722 100644
--- a/util/bot/sde-win32.tar.xz.sha1
+++ b/util/bot/sde-win32.tar.xz.sha1
@@ -1 +1 @@
-a7e6913d232fb616f28a0106c279dc25777851be
\ No newline at end of file
+e428daf6b49c72cd61428bdde80c522e291b51d2
\ No newline at end of file