Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

fixed the header for the new fonts #258

Merged
merged 1 commit into from
Dec 12, 2024
Merged

fixed the header for the new fonts #258

merged 1 commit into from
Dec 12, 2024

Conversation

cjlapao
Copy link
Collaborator

@cjlapao cjlapao commented Dec 12, 2024

Description

  • Fixed an issue where the new fonts were not being downloaded

Type of change

  • Bug fix (non-breaking change which fixes an issue)

Checklist

  • I have performed a self-review of my own code
  • I have made corresponding changes to the documentation
  • My changes generate no new warnings
  • I have run tests that prove my fix is effective or that my feature works
  • I have updated the CHANGELOG.md file accordingly

@boring-cyborg boring-cyborg bot added the documentation Improvements or additions to documentation label Dec 12, 2024
@cjlapao cjlapao added this to the 0.9.12 milestone Dec 12, 2024
@cjlapao cjlapao merged commit e242aaf into main Dec 12, 2024
12 checks passed
@cjlapao cjlapao deleted the cjlapao/fix-documentation-issue branch December 12, 2024 09:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@alevlasu alevlasu Awaiting requested review from alevlasu alevlasu is a code owner

@bineesh-n bineesh-n Awaiting requested review from bineesh-n bineesh-n is a code owner

@polonius polonius Awaiting requested review from polonius polonius is a code owner

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
0.9.12
Development

Successfully merging this pull request may close these issues.
1 participant
@cjlapao