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

Allow searching for decision using the English abbreviations for meeting #1719

Merged
merged 1 commit into from
Sep 26, 2023

Conversation

tomudding
Copy link
Member

Closes GH-1717.

@tomudding tomudding merged commit e0cd4ee into GEWIS:main Sep 26, 2023
4 checks passed
github-actions bot added a commit that referenced this pull request Sep 26, 2023
Tom Udding: Merge pull request #1719 from tomudding/feature/decision-search-english

Allow searching for decision using the English abbreviations for meeting

Co-authored-by: tomudding <tomudding@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Allow searching with the English names for meetings
1 participant