Skip to content

Conversation

rajveermalviya
Copy link
Member

Fixes: #1540

@rajveermalviya rajveermalviya added the maintainer review PR ready for review by Zulip maintainers label Jun 3, 2025
@rajveermalviya rajveermalviya requested a review from chrisbobbe June 3, 2025 09:13
@chrisbobbe
Copy link
Collaborator

LGTM, thanks! The CI failure is #1545; I've sent #1546 to fix that.

@chrisbobbe chrisbobbe requested a review from gnprice June 3, 2025 20:02
@chrisbobbe chrisbobbe added integration review Added by maintainers when PR may be ready for integration and removed maintainer review PR ready for review by Zulip maintainers labels Jun 3, 2025
We forgot to add that when we added the KaTeX fonts
and the LICENSE file in 829dae9.

Fixes: zulip#1540
@gnprice
Copy link
Member

gnprice commented Jun 10, 2025

Thanks to you both! Looks good; merging.

@gnprice gnprice force-pushed the pr-katex-license branch from 58eba0d to fc874ae Compare June 10, 2025 23:01
@gnprice gnprice merged commit fc874ae into zulip:main Jun 10, 2025
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
integration review Added by maintainers when PR may be ready for integration
Projects
None yet
Development

Successfully merging this pull request may close these issues.

licenses: Licenses page broken; "Unable to load" KaTeX license
3 participants