Merge branch 'master' of gitlab.science.ru.nl:clean-and-itasks/iTasks-SDK into...

Merge branch 'master' of gitlab.science.ru.nl:clean-and-itasks/iTasks-SDK into 217-buttons-on-a-tabset-should-be-moved-to-the-actual-tabbar-header
1 job for 217-buttons-on-a-tabset-should-be-moved-to-the-actual-tabbar-header in 10 minutes and 37 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Test
passed #23321
test

00:10:37