Skip to content

Conversation

@tianon
Copy link
Member

@tianon tianon commented Jan 18, 2022

@tianon
Copy link
Member Author

tianon commented Jan 18, 2022

Heh, CI fails here thanks to #808 - @ltangvald want to steal these changes into your PR so we can get green CI, or would you rather we merge one or the other and then rebase?

@tianon
Copy link
Member Author

tianon commented Jan 19, 2022

Merged as part of #808 👍

@tianon tianon closed this Jan 19, 2022
@tianon tianon deleted the eol-5.6 branch January 19, 2022 17:20
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.

1 participant