Merge branch 'wip/denittis/inspect-library' into 'master'
Passed
Ludovico de Nittis
created pipeline for commit
00d5cd33
, finished
For master
2 minutes 56 seconds, queued for 3 seconds