Merge branch '371-selecting-overlay' of...

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)