Due to maintenance reasons, gitlab.gwdg.de will not be available on Saturday 2021-07-24 from 10:30 to approximately 11:30 CEST.

Commit 4bf0a33d authored by Mathias Goebel's avatar Mathias Goebel 🎠
Browse files

Merge branch 'bugfix/#139-error-index-seach' into 'develop'

Improve index look-up (closes #139)

Closes #139

See merge request !65
parents ff9c1004 132b9d49