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

Extend javadoc of IParameterConsumer interface #1299

Merged
merged 1 commit into from
Jan 5, 2021
Merged

Extend javadoc of IParameterConsumer interface #1299

merged 1 commit into from
Jan 5, 2021

Conversation

deining
Copy link
Contributor

@deining deining commented Jan 5, 2021

PR following up on your proposal in #1296.

@remkop remkop added this to the 4.7 milestone Jan 5, 2021
@remkop remkop merged commit aebb211 into remkop:master Jan 5, 2021
remkop added a commit that referenced this pull request Jan 5, 2021
@remkop
Copy link
Owner

remkop commented Jan 5, 2021

Merged and updated release notes.
Thank you for the contribution!

@remkop remkop modified the milestones: 4.7, 4.6.2 Feb 23, 2021
MarkoMackic pushed a commit to MarkoMackic/picocli that referenced this pull request Oct 17, 2021
MarkoMackic added a commit to MarkoMackic/picocli that referenced this pull request Oct 17, 2021
…rameterConsumer` javadoc"

This reverts commit da161b4.
MarkoMackic added a commit to MarkoMackic/picocli that referenced this pull request Oct 17, 2021
…rameterConsumer` javadoc"

This reverts commit da161b4.
@deining deining deleted the javadoc branch February 16, 2022 07:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants