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

Determine if and which classes should be made final #223

Open
jvdb opened this issue Nov 5, 2017 · 0 comments
Open

Determine if and which classes should be made final #223

jvdb opened this issue Nov 5, 2017 · 0 comments
Assignees
@jvdb
Labels
task

Comments

@jvdb
Copy link
Contributor

jvdb commented Nov 5, 2017

No description provided.

@jvdb jvdb mentioned this issue Nov 5, 2017
Merged
@jvdb jvdb self-assigned this Apr 11, 2018
@jvdb jvdb added the task label Apr 11, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jvdb jvdb

Labels
task
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jvdb