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

Fix new annis #10081

Merged
merged 1 commit into from
Sep 18, 2023
Merged

Fix new annis #10081

merged 1 commit into from
Sep 18, 2023

Conversation

Booplicate
Copy link
Member

Fixes a couple of issues introduced in #7324

@Booplicate Booplicate added bug awaiting code review someone needs to check for syntax/logic/indentation errors labels Sep 17, 2023
@Booplicate Booplicate added this to the 0.12.15 milestone Sep 17, 2023
@Booplicate Booplicate added this to awaiting review in Bugs via automation Sep 17, 2023
Bugs automation moved this from awaiting review to awaiting merge Sep 18, 2023
@multimokia multimokia merged commit 85c48d6 into content Sep 18, 2023
0 of 2 checks passed
Bugs automation moved this from awaiting merge to FIXED Sep 18, 2023
@Booplicate Booplicate deleted the fix-new-annis branch September 18, 2023 09:30
@Booplicate Booplicate removed the awaiting code review someone needs to check for syntax/logic/indentation errors label Sep 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Bugs
  
FIXED
Development

Successfully merging this pull request may close these issues.

None yet

3 participants