Skip to content

Conversation

@odow
Copy link
Member

@odow odow commented Mar 20, 2025

TODO: #180

@odow odow requested a review from blegat March 20, 2025 02:26
@odow odow merged commit 79377f8 into master Mar 20, 2025
5 checks passed
@odow odow deleted the odow-patch-1 branch March 20, 2025 22:50
@odow
Copy link
Member Author

odow commented Mar 20, 2025

I talked to Benoît on the phone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants