Skip to content
This repository has been archived by the owner on Jul 29, 2022. It is now read-only.

Use the new Search Service #418

Merged
merged 6 commits into from
May 27, 2021
Merged

Use the new Search Service #418

merged 6 commits into from
May 27, 2021

Conversation

mickael-menu
Copy link
Member

@mickael-menu mickael-menu marked this pull request as ready for review May 7, 2021 14:09
@mrifni
Copy link

mrifni commented May 12, 2021

shall we merge this PR please?

@mickael-menu
Copy link
Member Author

I still have a few changes to do on this one, from the experience implementing it on iOS. I'll also present the associated proposal to the dev call today, and see if there are other stuff to adjust.

@mickael-menu mickael-menu merged commit 7630521 into develop May 27, 2021
@mickael-menu mickael-menu deleted the feature/search branch May 27, 2021 09:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants