Skip to content

Remove use of the sed command #272

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
Merged
merged 2 commits into from
Apr 12, 2025
Merged

Remove use of the sed command #272

merged 2 commits into from
Apr 12, 2025

Conversation

AA-Turner
Copy link
Member

As noted in the comment, this was fixed [1] and released in LuaTex 1.16.

[1]: https://gitlab.lisn.upsaclay.fr/texlive/luatex/-/commit/af5faf1af25dc00f02356eb0e99bfe26b8de2f61

We have LuaTex 1.17 on the server:

adam@docs:/srv/docsbuild/scripts$ luatex -credits
This is LuaTeX, Version 1.17.0 (TeX Live 2023/Debian)
[...]

Development id: 7581

@AA-Turner AA-Turner merged commit 7a9bca9 into main Apr 12, 2025
8 checks passed
@AA-Turner AA-Turner deleted the sed branch April 12, 2025 00:14
@hugovk hugovk mentioned this pull request Apr 13, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@AA-Turner