Merge branch 'development' of https://gitlab.lcsb.uni.lu/minerva/frontend into development
2 related merge requests: !223 reset the pin numbers before search results are fetch (so the results will be..., !3 Development
5 jobs
11 seconds, queued for 1 seconds