Skip to content

Defaultrealsig #17385

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 11 commits into from
Jul 8, 2024
Merged

Defaultrealsig #17385

merged 11 commits into from
Jul 8, 2024

Conversation

KevinRansom
Copy link
Contributor

No description provided.

@KevinRansom KevinRansom requested a review from a team as a code owner July 4, 2024 17:21
@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Jul 4, 2024

Caution

Repository is on lockdown for maintenance, all merges are on hold.

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Jul 4, 2024 •
edited
Loading

❗ Release notes required

✅ Found changes and release notes in following paths:

Change path Release notes path Description
src/Compiler docs/release-notes/.FSharp.Compiler.Service/9.0.100.md

@vzarytovskii vzarytovskii merged commit 00f025c into dotnet:main Jul 8, 2024
@KevinRansom
Copy link
Contributor Author

Fixes #17384

This was referenced Jul 25, 2024
Closed
Closed
@dotnet-bot dotnet-bot mentioned this pull request Aug 2, 2024
Closed
This was referenced Sep 8, 2025
Open
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@T-Gro T-Gro T-Gro approved these changes

+1 more reviewer

@psfinaki psfinaki psfinaki approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
Labels
None yet
Projects
F# Compiler and Tooling
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@KevinRansom @psfinaki @T-Gro @vzarytovskii