Skip to content

Conversation

@Fokko
Copy link
Contributor

@Fokko Fokko commented Oct 22, 2020

Some small stuff that I found when working on #1648

@rdblue rdblue merged commit 76d3111 into apache:master Oct 23, 2020
@rdblue
Copy link
Contributor

rdblue commented Oct 23, 2020

Thanks for the fixes, @Fokko!

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