Efficiency - adding a pure attribute to getIndex()#243
Merged
SRombauts merged 1 commit intoSRombauts:masterfrom Jan 14, 2020
Merged
Efficiency - adding a pure attribute to getIndex()#243SRombauts merged 1 commit intoSRombauts:masterfrom
SRombauts merged 1 commit intoSRombauts:masterfrom