Merge branch 'dev' into 'master'

Setting the new master

See merge request !74
1 job for 5.6.18-pre-release
latest
Status Name Job ID Coverage
  Test
failed dummy #848

 
Name Stage Failure
failed
dummy Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log