Skip to content
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

[Backport release-23.11] tectonic: fixes #269167: tectonic build failure #270326

Merged
merged 1 commit into from
Nov 27, 2023
Merged

[Backport release-23.11] tectonic: fixes #269167: tectonic build failure #270326

merged 1 commit into from
Nov 27, 2023

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Nov 27, 2023 •
edited by pbsds
Loading

Bot-based backport to release-23.11, triggered by a label in #269786.

  • Before merging, ensure that this backport is acceptable for the release.
    • Even as a non-commiter, if you find that it is not acceptable, leave a comment.

@ink-splatters @github-actions
tectonic: fixed compilation issue
1263998 
implements workaround for: #166205

inspired by similar fix: b6d4be1

(cherry picked from commit 2049b08)
@github-actions github-actions bot mentioned this pull request Nov 27, 2023
Merged
13 tasks
@pbsds
Copy link
Member

pbsds commented Nov 27, 2023

@ofborg build tectonic

@pbsds pbsds merged commit d4e9959 into release-23.11 Nov 27, 2023
4 of 5 checks passed
@bjornfor bjornfor deleted the backport-269786-to-release-23.11 branch November 27, 2023 12:12
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.
2 participants
@pbsds @ink-splatters