Skip to content

Merge Upstream into Develop#20

Merged
JohnScottUK merged 30 commits intodevelopfrom
upstream
Sep 11, 2025
Merged

Merge Upstream into Develop#20
JohnScottUK merged 30 commits intodevelopfrom
upstream

Conversation

@JohnScottUK
Copy link

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.