Skip to content

Add filter for Kotlin default methods #1012

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
marchof merged 6 commits into from
Feb 9, 2020
Merged

Add filter for Kotlin default methods #1012

marchof merged 6 commits into from
Feb 9, 2020

Conversation

@Godin
Copy link
Member

@Godin Godin commented Feb 1, 2020

Fixes #905

@Godin Godin self-assigned this Feb 1, 2020
@Godin Godin mentioned this pull request Feb 7, 2020
Closed
@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
@marchof marchof merged commit 04fe200 into master Feb 9, 2020
@marchof marchof deleted the kotlin_default_methods branch February 9, 2020 17:10
@Godin Godin mentioned this pull request Feb 12, 2020
Merged
@Godin Godin mentioned this pull request Dec 16, 2020
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@marchof marchof marchof approved these changes

Assignees

@Godin Godin

Labels

component: core.filters language: Kotlin type: enhancement

Projects

Current work items
Archived in project
Filtering
Status: Done

Milestone

0.8.6

Development

Successfully merging this pull request may close these issues.

Coverage of default methods

3 participants

@Godin @marchof