Skip to content

Improved Group plugin initialization for mike#6534

Merged
squidfunk merged 1 commit intosquidfunk:masterfrom
kamilkrzyskow:group-plugin-mike-fix
Dec 18, 2023
Merged

Improved Group plugin initialization for mike#6534
squidfunk merged 1 commit intosquidfunk:masterfrom
kamilkrzyskow:group-plugin-mike-fix

Conversation

@kamilkrzyskow
Copy link
Copy Markdown
Collaborator

Should fix the crash when running mike with the group plugin.
Related discussion: #6520

I didn't change anything unrelated to the crash, I shall wait for #6473 to have some sort of resolution to propose bigger styling changes ✌️

@squidfunk
Copy link
Copy Markdown
Owner

Perfect, thanks! Yes, we'll be moving to a more Python-idiomatic code base in the next year. Please don't create PRs yet, because we need to do this gradually. I'll be starting with the rewrite of the tags plugin.

@squidfunk squidfunk merged commit 55fe1cc into squidfunk:master Dec 18, 2023
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.

2 participants