Skip to content

Conversation

@Dedelweiss
Copy link
Contributor

No description provided.

@KacperFKorban
Copy link
Member

Hi, thanks for the fix. I see that you started working on an issue that will also touch this file (#17133). Could you cherry-pick this commit onto that PR (#17133), so that the CI will not have to be run multiple times?

@Dedelweiss
Copy link
Contributor Author

Hi, thanks for the fix. I see that you started working on an issue that will also touch this file (#17133). Could you cherry-pick this commit onto that PR (#17133), so that the CI will not have to be run multiple times?

Sure 👍

@Dedelweiss Dedelweiss closed this Mar 23, 2023
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.

3 participants