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