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.

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

Add filter for Kotlin default methods #1012

Merged
merged 6 commits into from Feb 9, 2020
Merged

Conversation

Godin
Copy link
Member

@Godin Godin commented Feb 1, 2020

Fixes #905

@Godin Godin self-assigned this Feb 1, 2020
@Godin Godin added this to Implementation in Current work items via automation Feb 1, 2020
@Godin Godin mentioned this pull request Feb 7, 2020
@Godin Godin added this to the 0.8.6 milestone Feb 7, 2020
@Godin Godin marked this pull request as ready for review February 7, 2020 11:43
@Godin Godin requested a review from marchof February 7, 2020 11:43
@Godin Godin moved this from Implementation to Review in Current work items Feb 7, 2020
@marchof marchof merged commit 04fe200 into master Feb 9, 2020
Current work items automation moved this from Review to Done Feb 9, 2020
@marchof marchof deleted the kotlin_default_methods branch February 9, 2020 17:10
@Godin Godin added this to To Do in Filtering via automation Feb 9, 2020
@Godin Godin moved this from To Do to Done in Filtering Feb 9, 2020
@Godin Godin mentioned this pull request Feb 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Filtering
  
Done
Development

Successfully merging this pull request may close these issues.

Coverage of default methods
2 participants