Merge branch '3400032-use-hal-as' into '4.0.x'
Warning
Alberto Paderno
created pipeline for commit
8811516e
, finished
3 minutes 10 seconds, queued for 12 seconds