Skip to content

Conversation

NullVoxPopuli
Copy link
Collaborator

@NullVoxPopuli NullVoxPopuli commented Dec 6, 2023

Co-authored-by: Adrian Bettridge-Wiese <[email protected]>
The previous suggested change was supposed to include this, but missed
it because of nested code blocks inside the suggested change. Whoops!
@wagenet wagenet merged commit 1ced367 into master Dec 14, 2023
@wagenet wagenet deleted the NullVoxPopuli-patch-1 branch December 14, 2023 00:58
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.

Switch to maintenance mode
4 participants