Skip to content

Conversation

cartermp
Copy link
Contributor

@cartermp cartermp commented Aug 14, 2020

fixes #20030, #19767, #17557

Copy link
Member

@BillWagner BillWagner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM :shipit:

@cartermp cartermp closed this Aug 17, 2020
@cartermp cartermp reopened this Aug 17, 2020
@cartermp
Copy link
Contributor Author

This one fails due to something wrong with the dependabot yaml. Is it fine to merge?

@Youssef1313 Youssef1313 mentioned this pull request Aug 19, 2020
@cartermp
Copy link
Contributor Author

I'm going to merge this because the dependabot.yml thing is completely unrelated, as this PR doesn't touch the file.

@cartermp cartermp merged commit 34b0a1b into master Aug 19, 2020
@cartermp cartermp deleted the cartermp-patch-9 branch August 19, 2020 06:34
@cartermp cartermp linked an issue Aug 19, 2020 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Broken Links Missing Link for Map documentation Broken links to F# module references Broken link or missing documentation for F# Map collection
3 participants