Skip to content

Conversation

rdbende
Copy link
Owner

@rdbende rdbende commented Jul 26, 2023

Fixes #107

@rdbende rdbende linked an issue Jul 26, 2023 that may be closed by this pull request
@rdbende rdbende changed the base branch from v3 to main July 26, 2023 15:03
@rdbende rdbende mentioned this pull request Jul 26, 2023
@rdbende rdbende merged commit ea91020 into main Jul 26, 2023
@rdbende rdbende deleted the remove-set_theme-hack branch July 26, 2023 19:22
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.

Remove set_theme function hack
1 participant