prepare HAL release #16

Merged
muellerr merged 1 commits from prep-hal-release into main 2024-07-01 14:55:57 +02:00