Merge branch 'f-more-pip-info' into 'dev'
Passed
Henrik tom Wörden
created pipeline for commit
6f007f25
, finished
For dev
4 minutes 57 seconds, queued for 4 seconds