Skip to content

Conversation

eschnett
Copy link
Contributor

No description provided.

@eschnett
Copy link
Contributor Author

This might be a candidate for backporting.

@eschnett
Copy link
Contributor Author

(I recommend the JuliaMono font https://juliamono.netlify.app which supports this character.)

@eschnett
Copy link
Contributor Author

Note that the replacement character might look weird (or might look like a space) when viewed in a web browser. I confirm that this really expands \^q to the expected character, even if the respective font does not have this character '𐞥': Unicode U+107A5 (category Lm: Letter, modifier)

@eschnett
Copy link
Contributor Author

Should I add a NEWS entry for this?

@eschnett eschnett requested a review from stevengj September 18, 2025 14:13
@eschnett
Copy link
Contributor Author

@stevengj I tagged you as reviewer here because you voiced interest in this feature recently.

@eschnett
Copy link
Contributor Author

eschnett commented Oct 1, 2025

Merge me, please!

@stevengj stevengj added merge me PR is reviewed. Merge when all tests are passing and removed merge me PR is reviewed. Merge when all tests are passing labels Oct 1, 2025
@stevengj stevengj added the merge me PR is reviewed. Merge when all tests are passing label Oct 1, 2025
@eschnett
Copy link
Contributor Author

eschnett commented Oct 2, 2025

The Windows CI build timed out. Can you restart it?

@DilumAluthge DilumAluthge merged commit 0e30e0f into JuliaLang:master Oct 3, 2025
8 checks passed
@DilumAluthge DilumAluthge removed the merge me PR is reviewed. Merge when all tests are passing label Oct 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants