diff --git a/src/SourceBuild/content/repo-projects/Directory.Build.targets b/src/SourceBuild/content/repo-projects/Directory.Build.targets index 29512a83cd07..8d856d2d51d3 100644 --- a/src/SourceBuild/content/repo-projects/Directory.Build.targets +++ b/src/SourceBuild/content/repo-projects/Directory.Build.targets @@ -598,7 +598,18 @@ - + diff --git a/src/SourceBuild/patches/fsharp/0001-Stop-publishing-of-additional-packages.patch b/src/SourceBuild/patches/fsharp/0001-Stop-publishing-of-additional-packages.patch new file mode 100644 index 000000000000..3685409196da --- /dev/null +++ b/src/SourceBuild/patches/fsharp/0001-Stop-publishing-of-additional-packages.patch @@ -0,0 +1,30 @@ +From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001 +From: Nikola Milosavljevic +Date: Wed, 10 Apr 2024 15:26:09 +0000 +Subject: [PATCH] Stop publishing of additional packages + +Backport: https://github.com/dotnet/fsharp/pull/17016 +--- + eng/Publishing.props | 13 ------------- + 1 file changed, 13 deletions(-) + delete mode 100644 eng/Publishing.props + +diff --git a/eng/Publishing.props b/eng/Publishing.props +deleted file mode 100644 +index 6a0673b5a..000000000 +--- a/eng/Publishing.props ++++ /dev/null +@@ -1,13 +0,0 @@ +- +- +- +- +- +- +- +-