Skip to content

Fix getindex with extra dims#80

Merged
jipolanco merged 2 commits intomasterfrom fix-extradimsMay 12, 2023

Commits

Commits on May 11, 2023