From ea18d7f2a621ef83d0fff1aa40397f62cb00f2fb Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Tue, 25 Oct 2022 03:58:07 +0000
Subject: [PATCH] Adopt otp 25.1.2

---
 MODULE.bazel |  4 ++--
 WORKSPACE    | 10 +++++-----
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/MODULE.bazel b/MODULE.bazel
index f05069f6956a..ea8ac929ee8e 100644
--- a/MODULE.bazel
+++ b/MODULE.bazel
@@ -47,8 +47,8 @@ erlang_config.internal_erlang_from_github_release(
 
 erlang_config.internal_erlang_from_github_release(
     name = "25_1",
-    sha256 = "42840c32e13a27bdb2c376d69aa22466513d441bfe5eb882de23baf8218308d3",
-    version = "25.1.1",
+    sha256 = "5442dea694e7555d479d80bc81f1428020639c258f8e40b2052732d1cc95cca5",
+    version = "25.1.2",
 )
 
 erlang_config.internal_erlang_from_http_archive(
diff --git a/WORKSPACE b/WORKSPACE
index 2e687a6cba70..05eb5c23b490 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -78,9 +78,9 @@ http_file(
 
 http_file(
     name = "otp_src_25_1",
-    downloaded_file_path = "OTP-25.1.1.tar.gz",
-    sha256 = "3348616450868fa8b39bddf0b528030e4525afef5b30e3a4b54c375add7d3f4f",
-    urls = ["https://github.com/erlang/otp/archive/OTP-25.1.1.tar.gz"],
+    downloaded_file_path = "OTP-25.1.2.tar.gz",
+    sha256 = "b9ae7becd3499aeac9f94f9379e2b1b4dced4855454fe7f200a6e3e1cf4fbc53",
+    urls = ["https://github.com/erlang/otp/archive/OTP-25.1.2.tar.gz"],
 )
 
 http_archive(
@@ -137,8 +137,8 @@ erlang_config(
         ),
         internal_erlang_from_github_release(
             name = "25_1",
-            sha256 = "42840c32e13a27bdb2c376d69aa22466513d441bfe5eb882de23baf8218308d3",
-            version = "25.1.1",
+            sha256 = "5442dea694e7555d479d80bc81f1428020639c258f8e40b2052732d1cc95cca5",
+            version = "25.1.2",
         ),
         internal_erlang_from_http_archive(
             name = "git_master",