Skip to content

Conversation

@itzg
Copy link
Owner

@itzg itzg commented Oct 14, 2022

As discussed in #1783 (reply in thread)

@itzg itzg merged commit ec06e3b into master Oct 14, 2022
@itzg itzg deleted the docs/1783 branch October 14, 2022 20:37
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.

2 participants