Merge branch 'develop' into 'develop'

Extracted libpoulp: fix #49

Closes #49

See merge request !20
5 jobs for develop in 1 minute and 43 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
failed build #11005

00:01:43

failed mirror #11006

00:01:13

 
  Test
skipped linter #11007
 
  Package
skipped deb #11009
skipped rpm #11008
 
Name Stage Failure
failed
mirror Build There is an unknown failure, please try again
No job log
failed
build Build There is an unknown failure, please try again
No job log