Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Typo correction Compatbility → Compatibility #186

Merged
merged 2 commits into from
Feb 11, 2021

Conversation

Arty2
Copy link
Contributor

@Arty2 Arty2 commented Feb 6, 2021

No description provided.

@Arty2
Copy link
Contributor Author

Arty2 commented Feb 6, 2021

Meant to separate the theme update to another pull request but still working this out…

@Mikescher
Copy link
Owner

Meant to separate the theme update to another pull request but still working this out…

No problem, does that mean you want to add anything else onto that PR, or can I merge it?

On a related note:
I probable should add some kind of compile-step to zip up the included archived themes. That way we could put the actual zip content in the git repo and would get better diffs...
I guess that goes to my todo list :)

@Arty2
Copy link
Contributor Author

Arty2 commented Feb 10, 2021 via email

@Mikescher Mikescher merged commit a131f3b into Mikescher:master Feb 11, 2021
Mikescher added a commit that referenced this pull request Mar 9, 2021
--> fixes #186
--> fixes #187
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants