From a471d679c4ada42f6b0ee8b98db411a0f7fc1e5e Mon Sep 17 00:00:00 2001
From: "dotnet-maestro[bot]"
 <42748379+dotnet-maestro[bot]@users.noreply.github.com>
Date: Tue, 30 Jul 2019 20:39:53 +0000
Subject: [PATCH] Update dependencies from https://github.com/dotnet/toolset
 build 20190730.13 (#3618)

- Microsoft.Dotnet.Toolset.Internal - 3.0.100-preview8.19380.13
---
 eng/Version.Details.xml | 4 ++--
 eng/Versions.props      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/eng/Version.Details.xml b/eng/Version.Details.xml
index cc3d13d1e..a23a4b046 100644
--- a/eng/Version.Details.xml
+++ b/eng/Version.Details.xml
@@ -42,9 +42,9 @@
       <Uri>https://github.com/dotnet/templating</Uri>
       <Sha>dd6eb08b7aad05eeadb585ef4c853f29ea95726c</Sha>
     </Dependency>
-    <Dependency Name="Microsoft.Dotnet.Toolset.Internal" Version="3.0.100-preview8.19380.12">
+    <Dependency Name="Microsoft.Dotnet.Toolset.Internal" Version="3.0.100-preview8.19380.13">
       <Uri>https://github.com/dotnet/toolset</Uri>
-      <Sha>8083737a0a7286bad757135680636eae68763dd8</Sha>
+      <Sha>bf75e94a516a617829ab03de1abb7614a539b0ab</Sha>
     </Dependency>
     <Dependency Name="Microsoft.NET.Sdk" Version="3.0.100-preview8.19379.6">
       <Uri>https://github.com/dotnet/sdk</Uri>
diff --git a/eng/Versions.props b/eng/Versions.props
index dfaba2988..fcd408bcc 100644
--- a/eng/Versions.props
+++ b/eng/Versions.props
@@ -12,7 +12,7 @@
     <PreReleaseVersionLabel>preview</PreReleaseVersionLabel>
   </PropertyGroup>
   <PropertyGroup>
-    <MicrosoftDotnetToolsetInternalPackageVersion>3.0.100-preview8.19380.12</MicrosoftDotnetToolsetInternalPackageVersion>
+    <MicrosoftDotnetToolsetInternalPackageVersion>3.0.100-preview8.19380.13</MicrosoftDotnetToolsetInternalPackageVersion>
   </PropertyGroup>
   <PropertyGroup>
     <!-- Dependency from https://github.com/dotnet/winforms -->