This repository was archived by the owner on Sep 9, 2026. It is now read-only.

Repository navigation

refactor: add is_index_empty API - #1801

Merged

JoanFM merged 1 commit into

mainfrom

help-community-pr

Sep 20, 2023

Merged

refactor: add is_index_empty API#1801
JoanFM merged 1 commit into
mainfrom
help-community-pr

Commits on Sep 20, 2023
- refactor: add is_index_empty API
  Joan Fontanals Martinez
  committed
  425f8f9