Skip to content

[Backport master] Include font from Font Awesome 6#3636

Merged
sbrunner merged 1 commit intomasterfrom
ghci/backport/3631-to-master
May 27, 2025
Merged

[Backport master] Include font from Font Awesome 6#3636
sbrunner merged 1 commit intomasterfrom
ghci/backport/3631-to-master

Conversation

@geo-ghci-int
Copy link
Copy Markdown
Contributor

@geo-ghci-int geo-ghci-int bot commented May 27, 2025

Backport of #3631 to master

@sbrunner sbrunner enabled auto-merge May 27, 2025 07:38
@sbrunner sbrunner merged commit cca4635 into master May 27, 2025
10 checks passed
@sbrunner sbrunner deleted the ghci/backport/3631-to-master branch May 27, 2025 07:49
@geo-ghci-int geo-ghci-int bot added this to the 3.32.0 milestone Jun 3, 2025
@sbrunner sbrunner added the enhancement New feature label Jun 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant