Skip to content
This repository was archived by the owner on Dec 29, 2022. It is now read-only.

Conversation

@aminya
Copy link
Contributor

@aminya aminya commented Apr 24, 2022

This fixes the CI failure

@bors
Copy link
Contributor

bors commented May 17, 2022

☔ The latest upstream changes (presumably #1775) made this pull request unmergeable. Please resolve the merge conflicts.

@aminya aminya closed this Jun 11, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants