Skip to content

Conversation

beaufortfrancois
Copy link
Collaborator

@beaufortfrancois beaufortfrancois commented Oct 14, 2024

image

@beaufortfrancois beaufortfrancois requested a review from toji October 14, 2024 14:34
Copy link
Contributor

@toji toji left a comment

Choose a reason for hiding this comment

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

Ah, thanks for fixing that!

@toji toji merged commit 7b8a4a6 into main Oct 14, 2024
1 check passed
@toji toji deleted the beaufortfrancois-patch-2 branch October 14, 2024 18:43
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.

2 participants