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

Minor improvements on chore search #665

Merged
merged 1 commit into from
Jan 13, 2022

Conversation

MariusWirtz
Copy link
Collaborator

  • cater for numeric parameter values
  • add readme for tests
  • fix all chore tests

successor of #663

- cater for numeric parameter values
- add readme for tests
- fix all chore tests

successor of #663
@MariusWirtz
Copy link
Collaborator Author

@adscheevel
Do these small changes look OK to you?

@MariusWirtz MariusWirtz merged commit c4292a9 into master Jan 13, 2022
@adscheevel
Copy link
Collaborator

Nice fixes, thanks!

@MariusWirtz MariusWirtz deleted the feature/chore-search-functions branch April 9, 2023 18:17
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.

2 participants