Skip to content
This repository was archived by the owner on Jun 30, 2025. It is now read-only.

Conversation

@juliangruber
Copy link
Member

No description provided.

@juliangruber juliangruber requested a review from bajtos November 10, 2023 10:51
Copy link
Member

@bajtos bajtos left a comment

Choose a reason for hiding this comment

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

Thank you for taking care of this change!

I have a couple of minor/subjective suggestions, feel free to ignore them.

@juliangruber juliangruber enabled auto-merge (squash) November 13, 2023 11:46
@juliangruber juliangruber merged commit 918ab00 into main Nov 13, 2023
@juliangruber juliangruber deleted the remove/f1 branch November 13, 2023 11:51
@juliangruber
Copy link
Member Author

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.

3 participants