From 25821e7e19267bbf96c628784a99265f13f5128b Mon Sep 17 00:00:00 2001
From: "dotnet-maestro[bot]" <dotnet-maestro[bot]@users.noreply.github.com>
Date: Thu, 27 Aug 2026 02:03:01 +0000
Subject: [PATCH 1/3] Backflow from https://github.com/dotnet/dotnet / 31d4a0a
 build 328846

Diff: https://github.com/dotnet/dotnet/compare/fa946937d18098cdb873c8d1bfdaa91c49e11c8d..31d4a0a8497049bf6485dd830c8a9112c1557a99

From: https://github.com/dotnet/dotnet/commit/fa946937d18098cdb873c8d1bfdaa91c49e11c8d
To: https://github.com/dotnet/dotnet/commit/31d4a0a8497049bf6485dd830c8a9112c1557a99

[[ commit created by automation ]]
---
 eng/Versions.props | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eng/Versions.props b/eng/Versions.props
index eab6098377d..b7751831123 100644
--- a/eng/Versions.props
+++ b/eng/Versions.props
@@ -18,7 +18,7 @@
     <!-- F# Version components -->
     <FSMajorVersion>10</FSMajorVersion>
     <FSMinorVersion>0</FSMinorVersion>
-    <FSBuildVersion>112</FSBuildVersion>
+    <FSBuildVersion>113</FSBuildVersion>
     <FSRevisionVersion>0</FSRevisionVersion>
     <!-- -->
     <!-- F# Language version -->

From 3c8476e24d159bacd2056616419f30eab488a858 Mon Sep 17 00:00:00 2001
From: "dotnet-maestro[bot]" <dotnet-maestro[bot]@users.noreply.github.com>
Date: Thu, 27 Aug 2026 02:03:04 +0000
Subject: [PATCH 2/3] Update dependencies from build 328846 No dependency
 updates to commit [[ commit created by automation ]]

---
 eng/Version.Details.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eng/Version.Details.xml b/eng/Version.Details.xml
index 68a3c5884e1..bca2f676949 100644
--- a/eng/Version.Details.xml
+++ b/eng/Version.Details.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <Dependencies>
-  <Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="fa946937d18098cdb873c8d1bfdaa91c49e11c8d" BarId="325432" />
+  <Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="31d4a0a8497049bf6485dd830c8a9112c1557a99" BarId="328846" />
   <ProductDependencies>
     <Dependency Name="Microsoft.Build" Version="18.0.2">
       <Uri>https://github.com/dotnet/msbuild</Uri>

From 7e064b50f214199ad80f33b44fe84ae4ee4b6ca0 Mon Sep 17 00:00:00 2001
From: "dotnet-maestro[bot]" <dotnet-maestro[bot]@users.noreply.github.com>
Date: Fri, 28 Aug 2026 02:03:18 +0000
Subject: [PATCH 3/3] Update dependencies from build 328888 No dependency
 updates to commit [[ commit created by automation ]]

---
 eng/Version.Details.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eng/Version.Details.xml b/eng/Version.Details.xml
index bca2f676949..9d224c883fe 100644
--- a/eng/Version.Details.xml
+++ b/eng/Version.Details.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <Dependencies>
-  <Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="31d4a0a8497049bf6485dd830c8a9112c1557a99" BarId="328846" />
+  <Source Uri="https://github.com/dotnet/dotnet" Mapping="fsharp" Sha="c7ac883e69867495da925d6c0757b1662241fe1e" BarId="328888" />
   <ProductDependencies>
     <Dependency Name="Microsoft.Build" Version="18.0.2">
       <Uri>https://github.com/dotnet/msbuild</Uri>