Skip to content

minor JavaDoc fix in SearchParameters#1015

Merged
vorburger merged 1 commit intoapache:developfrom
percyashu:minorJavaDoc
Jun 9, 2020
Merged

minor JavaDoc fix in SearchParameters#1015
vorburger merged 1 commit intoapache:developfrom
percyashu:minorJavaDoc

Conversation

@percyashu
Copy link
Copy Markdown
Contributor

From #971

@percyashu percyashu closed this Jun 9, 2020
@percyashu percyashu reopened this Jun 9, 2020
Copy link
Copy Markdown
Member

@vorburger vorburger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@vorburger vorburger merged commit 23ffe45 into apache:develop Jun 9, 2020
@percyashu percyashu deleted the minorJavaDoc branch July 4, 2020 23:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants