Skip to content

Use paginated search. Fix part of issue #263#265

Merged
matiasdelellis merged 2 commits intomasterfrom search-pagedApr 28, 2020