Skip to content

Conversation

altendky
Copy link
Contributor

@altendky altendky commented Feb 16, 2018

@Mariatta
Copy link
Member

Thanks for the PR! However I must close it since our bot handles the backports.

@Mariatta Mariatta closed this Feb 17, 2018
@altendky altendky deleted the fix-issue-32852-3.7 branch February 17, 2018 14:30
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