Pipeline · minerva / core

Merge branch '371-selecting-overlay' of https://git-r3lab.uni.lu/piotr.gawron/minerva into 371-selecting-overlay

1 job for 371-selecting-overlay in 1 minute and 34 seconds (queued for 1 second)