Merge branch '1509-minervanet-error-report-303' of...
Merge branch '1509-minervanet-error-report-303' of https://git-r3lab.uni.lu/minerva/core into 1509-minervanet-error-report-303
Merge branch '1509-minervanet-error-report-303' of https://git-r3lab.uni.lu/minerva/core into 1509-minervanet-error-report-303