prepare HAL release #5

Merged
muellerr merged 1 commits from prep-hal-release into main 2024-06-16 19:17:33 +02:00