Skip to content

Conversation

@danifus
Copy link
Contributor

@danifus danifus commented May 14, 2021

@github-actions
Copy link

This PR is stale because it has been open for 30 days with no activity.

@github-actions github-actions bot added the stale Stale PR or inactive for long period of time. label Jun 14, 2021
Copy link
Contributor

@MaxwellDupre MaxwellDupre left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks ok

@danifus
Copy link
Contributor Author

danifus commented Jul 22, 2024

I forgot I had created this PR and redid the work a few years later: #121640 That PR doesn't have conflicts (currently) so I'm closing this one

@danifus danifus closed this Jul 22, 2024
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.

5 participants