Skip to content
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

Extension methods as public API #134

Merged
merged 3 commits into from Nov 8, 2019
Merged

Extension methods as public API #134

merged 3 commits into from Nov 8, 2019

Conversation

danielmarbach
Copy link
Member

No description provided.

@danielmarbach danielmarbach mentioned this pull request Nov 8, 2019
Closed
@danielmarbach danielmarbach changed the title extension methods Extension methods as public API Nov 8, 2019
@danielmarbach danielmarbach added this to the 10.0.0 milestone Nov 8, 2019
@danielmarbach danielmarbach merged commit bde14bb into master Nov 8, 2019
@danielmarbach danielmarbach deleted the new-method branch November 8, 2019 22:31
@danielmarbach
Copy link
Member Author

Beta5 is up

@danielmarbach danielmarbach mentioned this pull request Nov 27, 2019
Closed
6 tasks
@danielmarbach danielmarbach mentioned this pull request Dec 4, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sungam3r sungam3r sungam3r left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
10.0.0
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@danielmarbach @sungam3r