Closed pksunkara closed 3 years ago
I had been using that for Index and now I want to move to BareIndex
Index
BareIndex
Would appreciate a release after this is merged. Thanks @kornelski
I had been using that for
Index
and now I want to move toBareIndex