Skip to content

Merge Upstream into Develop - #20

Merged
JohnScottUK merged 30 commits into
developfrom
upstream
Sep 11, 2025
Merged

JohnScottUK merged 30 commits into
developfrom
upstream

Conversation

@JohnScottUK

Copy link
Copy Markdown

Merging in minimal-mistakes changes from upstream.

pabletecodes and others added 30 commits February 1, 2025 03:48
So we're not relying on Font Awesome 6-
@JohnScottUK JohnScottUK changed the title Merge from Upstream Merge from Upstream into Develop Sep 11, 2025
@JohnScottUK JohnScottUK changed the title Merge from Upstream into Develop Merge Upstream into Develop Sep 11, 2025
@JohnScottUK
JohnScottUK merged this pull request into develop Sep 11, 2025
1 check passed
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.