Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
) ### Rationale for this change We have several nightly builds failing with errors building the manual as a result of unicode characters. The unicode characters aren't new, so I'm not sure why this happened now. ### What changes are included in this PR? Install a distribution of latex that supports unicode characters (maybe)? ### Are these changes tested? Yes ### Are there any user-facing changes? No * Closes: #38227 Lead-authored-by: Dewey Dunnington <dewey@voltrondata.com> Co-authored-by: Dewey Dunnington <dewey@fishandwhistle.net> Signed-off-by: Jacob Wujciak-Jens <jacob@wujciak.de>
- Loading branch information