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.

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

Revert Polyglossia fix #413

Merged
merged 1 commit into from
Feb 29, 2024
Merged

Revert Polyglossia fix #413

merged 1 commit into from
Feb 29, 2024

Conversation

Witiko
Copy link
Owner

@Witiko Witiko commented Feb 29, 2024

This PR reverts commit a7cff81. The commit fixed a bug from reutenauer/polyglossia#626, which has now been fixed on CTAN. This PR continues #411.

@Witiko Witiko added the automerge This pull request will be automatically merged after continuous integration has succeeded label Feb 29, 2024
@Witiko Witiko force-pushed the fix/revert-polyglossia-fix branch from 0e326f4 to ec6c392 Compare February 29, 2024 10:36
@Witiko Witiko force-pushed the fix/revert-polyglossia-fix branch from ec6c392 to fa8af29 Compare February 29, 2024 10:57
@github-actions github-actions bot merged commit 7bcb228 into main Feb 29, 2024
23 of 26 checks passed
@Witiko Witiko mentioned this pull request Mar 13, 2024
9 tasks
@Witiko Witiko deleted the fix/revert-polyglossia-fix branch June 16, 2024 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge This pull request will be automatically merged after continuous integration has succeeded
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant