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

December Corrections #2921

Merged
merged 70 commits into from
Jan 5, 2024
Merged

December Corrections #2921

merged 70 commits into from
Jan 5, 2024

Conversation

anthology-assist
Copy link
Collaborator

No description provided.

@anthology-assist anthology-assist added the correction for corrections submitted to the anthology label Dec 9, 2023
Copy link

github-actions bot commented Dec 9, 2023

Build successful. Some useful links:

This preview will be removed when the branch is merged.

@anthology-assist anthology-assist marked this pull request as ready for review January 2, 2024 02:30
@danielgildea danielgildea merged commit 93a6f29 into master Jan 5, 2024
11 checks passed
@mjpost mjpost deleted the corrections-2023-12 branch February 22, 2024 12:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
correction for corrections submitted to the anthology
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants