Merge branch '3400032-use-hal-as' into '4.0.x'
Warning
Alberto Paderno
created pipeline for commit
e1f09cb0
, finished
2 minutes 58 seconds, queued for 7 seconds