Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Handle dvi font names as ASCII bytestrings #6977
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.
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
Handle dvi font names as ASCII bytestrings #6977
Changes from 1 commit
705b021
dbc8b9e
93fad55
4874e4e
a130ba7
0f0e41a
a7b5772
803a96e
ec5d80e
fe52808
aa8c4f6
9de07aa
c87b653
2e19a61
119934a
8fa303f
94587b1
254e3df
a8674b3
25a8fed
92e2c52
5ba21b0
10135bf
6de9813
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing