Skip to content

Conversation

@josepot
Copy link
Contributor

@josepot josepot commented Jan 5, 2024

This note is clearly outdated, so I think that it should be removed for now.

Perhaps we could add an updated note in a separate PR.

@josepot josepot requested review from jsdw and lexnv January 5, 2024 14:00
@josepot josepot merged commit 7726078 into main Jan 5, 2024
@josepot josepot deleted the chore/remove-oudate-note branch January 5, 2024 15:06
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