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

Also require sorting of .pot files #290

Merged
merged 2 commits into from
May 29, 2023
Merged

Also require sorting of .pot files #290

merged 2 commits into from
May 29, 2023

Conversation

rinkp
Copy link
Member

@rinkp rinkp commented May 29, 2023

Apparently I missed that in GH-195

Before merging, run make getlangfiles

@rinkp rinkp requested a review from tomudding May 29, 2023 18:43
Copy link
Member

@tomudding tomudding left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Direct approval, please merge at your own your own discretion.

@rinkp rinkp marked this pull request as ready for review May 29, 2023 19:54
@rinkp rinkp merged commit 313904c into GEWIS:master May 29, 2023
@rinkp rinkp deleted the fix/langsort branch May 29, 2023 19:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants