Skip to content

Conversation

@adrienDG
Copy link
Contributor

No description provided.

@adrienDG
Copy link
Contributor Author

adrienDG commented Oct 13, 2020

Hi @lkishalmi here is the new PR. Thanks in advance for reviewing.

@lkishalmi lkishalmi added this to the 12.2 milestone Oct 13, 2020
@lkishalmi lkishalmi merged commit f66b217 into apache:master Oct 13, 2020
@lkishalmi
Copy link
Contributor

Seems to be trivial enough.

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