Skip to content

Conversation

@shnja
Copy link
Contributor

@shnja shnja commented Apr 19, 2020

#4563

@PRMerger20
Copy link
Contributor

@shnja : Thanks for your contribution! The author(s) have been notified to review your proposed change.

@shnja
Copy link
Contributor Author

shnja commented Apr 21, 2020

Do I need to resolve the conflicts?

@shnja
Copy link
Contributor Author

shnja commented Apr 22, 2020

Changes included in 5f455f3.

@shnja shnja closed this Apr 22, 2020
@shnja shnja deleted the patch-1 branch October 28, 2020 06:01
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.

4 participants